[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
[
Top
]
[
Contents
]
[Index]
[
?
]
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.
[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
This document was generated by
Phil Armstrong
on
May 17, 2012
using
texi2html 1.82
.