roadmap

a4fd26d1 · MARCHE Claude · 17c6b212 · a4fd26d1 · a4fd26d1
Commit a4fd26d1 authored Dec 14, 2012 by MARCHE Claude
--- a/CHANGES
+++ b/CHANGES
 * marks an incompatible change

-  * [prover] support for mathematica
-  * [prover] support for MathSAT5
+  o [prover] fixed Coq 8.4 support for theory real.Trigonometry
+  o [prover] support for CVC4
+  o [prover] support for mathematica
+  o [prover] support for MathSAT5

 version 0.80, Oct 31, 2012
 ==========================

--- a/ROADMAP
+++ b/ROADMAP
@@ -78,6 +78,11 @@ scheduled on ? 2012

 == New Features to announce ==

+  o [prover] fixed Coq 8.4 support for theory real.Trigonometry
+  o [prover] support for CVC4
+  o [prover] support for mathematica
+  o [prover] support for MathSAT5
+
 == Final preparation ==

 * faire une passe sur le BTS