Commit f42a0363 authored by MARCHE Claude's avatar MARCHE Claude

increment version

parent ce76d88f
...@@ -183,7 +183,6 @@ Scheduled for 9 december 2013 ...@@ -183,7 +183,6 @@ Scheduled for 9 december 2013
* why3session * why3session
** --stats: changed (detailler, temps, distinction root et subgoals, CLAUDE) ** --stats: changed (detailler, temps, distinction root et subgoals, CLAUDE)
** --hist: TODO documenter (voir Alain ou Mohamed sur les graphes SMT)
* bug fixes: * bug fixes:
** remove extra leading zeros in decimal literals when a prover don't like them ** remove extra leading zeros in decimal literals when a prover don't like them
......
# Why version # Why version
VERSION=0.82 VERSION=0.82+git
......
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