Mentions légales du service

Skip to content
Snippets Groups Projects
Commit ada95b4c authored by MARCHE Claude's avatar MARCHE Claude
Browse files

fix command line for coqide

parent dbc424b6
Branches
Tags
No related merge requests found
......@@ -513,7 +513,7 @@ command = "%l/why3-call-pvs %l pvs %f"
[editor coqide]
name = "CoqIDE"
command = "coqide -I %l/coq-tactic -R %l/coq Why3 %f"
command = "coqide -R %l/coq-tactic Why3 -R %l/coq Why3 %f"
[editor proofgeneral-coq]
name = "Emacs/ProofGeneral/Coq"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment