Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
e254ffa4
Commit
e254ffa4
authored
Jun 11, 2015
by
MARCHE Claude
Browse files
Fix: distinguish Isabelle editors for 2014 and 2015
parent
8f22b7b7
Changes
1
Hide whitespace changes
Inline
Side-by-side
share/provers-detection-data.conf
View file @
e254ffa4
...
...
@@ -508,7 +508,7 @@ version_bad = "2014"
command
=
"%l/why3-cpulimit 0 0 -s %e why3 -b %f"
driver
=
"drivers/isabelle2015.drv"
in_place
=
true
editor
=
"isabelle-jedit"
editor
=
"isabelle
2015
-jedit"
[
ITP
isabelle
]
name
=
"Isabelle"
...
...
@@ -521,7 +521,7 @@ version_bad = "2015"
command
=
"%l/why3-cpulimit 0 0 -s %e why3 -b %f"
driver
=
"drivers/isabelle2014.drv"
in_place
=
true
editor
=
"isabelle-jedit"
editor
=
"isabelle
2014
-jedit"
[
editor
pvs
]
name
=
"PVS"
...
...
@@ -536,10 +536,18 @@ name = "Emacs/ProofGeneral/Coq"
command
=
"emacs --eval \"
(
setq
coq
-
load
-
path
'
((\\\
"%l/coq-tactic\\\"
\\\
"Why3\\\"
) \
(\\\
"%l/coq\\\"
\\\
"Why3\\\"
)))\
" %f"
[
editor
isabelle
-
jedit
]
name
=
"Isabelle/jEdit"
[
editor
isabelle
2015
-
jedit
]
name
=
"Isabelle
2015
/jEdit"
command
=
"isabelle why3 -i %f"
[
editor
isabelle2014
-
jedit
]
name
=
"Isabelle2014/jEdit"
command
=
"isabelle why3 -i jedit %f"
[
editor
isabelle2014
-
proofgeneral
]
name
=
"Isabelle2014/Emacs/ProofGeneral"
command
=
"isabelle why3 -i emacs %f"
[
editor
altgr
-
ergo
]
name
=
"AltGr-Ergo"
command
=
"altgr-ergo %f"
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment