B.3 Changes from 2.1 to 2.20

• not permitted in assertions.
• Control over counterexamples now in Options menu.
• New implementation of prefixing (works at high-level).
• Improved divergence recognition in compiler.
• More improvements to error reporting from compiler.
• Evaluator usable even if no script is loaded.

Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.