@@ -20,6 +20,8 @@ New in 0.9.13:
20* Totality errors are now treated as warnings until code generation time, when they become
20* Totality errors are now treated as warnings until code generation time, when they become
21 errors again. This allows users to use the interactive editing features to fix totality
21 errors again. This allows users to use the interactive editing features to fix totality
22 issues, but no programs that violate the stated assumptions will actually run.
22 issues, but no programs that violate the stated assumptions will actually run.
23+* Added :makelemma command, which adds a new top level definition to solve
24Internal changes
26Internal changes