Commit 7b8d8b14 authored by MARCHE Claude's avatar MARCHE Claude

document changes

parent 1f2f28b4
* marks an incompatible change * marks an incompatible change
o workaround for a bug about modulo operator in Alt-Ergo 0.94
o fixed a consistency issue with set.Fset theory
o co-inductive predicates o co-inductive predicates
o new option -e for "why3session latex" allows to specify when to o new option -e for "why3session latex" allows to specify when to
split tables in parts split tables in parts
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment