[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
[
Top
]
[
Contents
]
[Index]
[
?
]
B.13 Changes from 2.68 to 2.69
Fixed bug with handling of SKIP and link parallel in supercompiler.
Removed 4 billion state limit on refinement checks.
Formal Systems (Europe) Ltd
FDR2 Manual