Commit 99b7f3e2 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Renamed editor jEdit/Isabelle

parent 8252cabf
......@@ -171,7 +171,7 @@
edited="genealogy_Genealogy_Child_is_son_or_daughter_1.xml"
obsolete="false"
archived="false">
<result status="valid" time="4.62"/>
<result status="valid" time="4.77"/>
</proof>
<proof
prover="9"
......
......@@ -463,7 +463,7 @@ name = "Emacs/ProofGeneral/Coq"
command = "emacs23 --eval \"(setq coq-load-path '(\\\"%l/coq-tactic\\\" (\\\"%l/coq\\\" \\\"Why3\\\")))\" %f"
[editor jedit-isabelle]
name = "Emacs/jEdit/Isabelle"
name = "jEdit/Isabelle"
command = "isabelle why3 -i jedit %f"
[editor proofgeneral-isabelle]
......
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