PVS support temporarily disabled

parent b7a24176
......@@ -272,15 +272,18 @@ command = "@LOCALBIN@why3-cpulimit 0 %m -s %e -I %l/coq-tactic -R %l/coq Why3 -l
driver = "drivers/coq.drv"
editor = "coqide"
[ITP pvs]
name = "PVS"
exec = "pvs"
version_switch = "-version"
version_regexp = "PVS Version \\([^ \n]+\\)"
version_ok = "5.0"
command = "@LOCALBIN@why3-cpulimit 0 %m -s proveit %f"
driver = "drivers/pvs.drv"
editor = "pvs %f"
# [ITP pvs]
# name = "PVS"
# exec = "pvs"
# version_switch = "-version"
# version_regexp = "PVS Version \\([^ \n]+\\)"
# version_ok = "5.0"
# command = "@LOCALBIN@why3-cpulimit 0 %m -s proveit %f"
# driver = "drivers/pvs.drv"
# editor = "pvs"
# [editor pvs]
# command = "pvs %f"
[editor coqide]
command = "coqide -I %l/coq-tactic -R %l/coq Why3 %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