Commit c37f6cd1 authored by MARCHE Claude's avatar MARCHE Claude

added missing support for Isabelle "official" version "2014"

parent 3c5e3f12
......@@ -442,7 +442,7 @@ name = "Isabelle"
exec = "isabelle"
version_switch = "version"
version_regexp = "Isabelle\\([^:]+\\)"
version_ok = "2014-RC4"
version_ok = "2014"
version_bad = "2013-2"
# not why3-cpulimit 0 %m because isabelle needs more memory at start-up
command = "%l/why3-cpulimit 0 0 -s %e why3 -b %f"
......
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