--- freem/ChangeLog	2025/05/05 12:51:45	1.138
+++ freem/ChangeLog	2025/05/05 12:55:16	1.139
@@ -1147,3 +1147,4 @@ VERSION 0.64.0-rc1
   * Restore menu in OOP section of User Manual [snw@eosphorus 05/05/25 06:34:01]
   * Make fmd docupdate work when directory already exists [snw@eosphorus 05/05/25 06:38:10]
   * Correct ASSERT to ZASSERT in FreeM Manual [snw@eosphorus 05/05/25 06:51:45]
+  * Add definition for postcondition to FreeM Manual [snw@eosphorus 05/05/25 06:55:16]