Commit 0053e3da authored by MARCHE Claude's avatar MARCHE Claude

Bug 12244 resolved

parent dba92e2e
......@@ -2,10 +2,10 @@
o WhyML with mutable record fields and type models
o why3replayer
* "logic" is not a keyword anymore, use "function" and "predicate"
* new syntax for conjunction (/\) and disjunction (\/)
* functions to create an environment are now exported from Env
o [IDE] bug 12244 resolved by using Task.task_equal
o fixed Alt-ergo output: no triggers for "exists" quantifier
o [IDE] tool "Replay" works
o [IDE] does not use Threads anymore, thanks to Call_provers.query_call
......
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