Commit a030d7ee authored by MARCHE Claude's avatar MARCHE Claude

Small adjustements for integration of Isabelle

parent d1bef4be
This diff is collapsed.
......@@ -444,8 +444,10 @@ exec = "isabelle"
version_switch = "version"
version_regexp = "Isabelle\\([^:]+\\)"
version_ok = "2013-1"
command = "%l/why3-cpulimit 0 %m -s %e why3 -b %f"
# not why3-cpulimit 0 %m because isabelle needs more memory at start-up
command = "%l/why3-cpulimit 0 0 -s %e why3 -b %f"
driver = "drivers/isabelle.drv"
in_place = true
editor = "jedit-isabelle"
[editor pvs]
......
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