Commit 845d9ecb authored by MARCHE Claude's avatar MARCHE Claude

changes

parent 68e894e5
......@@ -8,7 +8,6 @@ version 0.82, December 9, 2013
o lemma functions
o polymorphic recursion permitted
o opaque types
o new prover: veriT (201310)
o new prover: Metitarski (2.2, contribution by Piotr Trojanek)
o new prover: Metis (2.3)
o new prover: Beagle (0.4.1)
......@@ -20,6 +19,7 @@ version 0.82, December 9, 2013
o new version of prover: Coq 8.4pl2
o new version of prover: gappa 1.0.0
o new version of prover: SPASS 3.8ds
o new version of prover: veriT (201310)
o API: more examples of use in examples/use_api/
o why3session new option --hist for histograms
o shape algorithm modified (see VSTTE'13 paper) but is
......
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