Commit a3f04195 authored by MARCHE Claude's avatar MARCHE Claude

Recommendations of Makarius

parent 99b7f3e2
......@@ -557,8 +557,8 @@ else
*)
AC_MSG_RESULT($ISABELLEVERSION)
enable_isabelle_support=no
AC_MSG_WARN(You need Isabelle2013-1 or higher; Isabelle discarded)
reason_isabelle_support=" (need version 2013-1 or higher)"
AC_MSG_WARN(You need Isabelle2013-1; Isabelle discarded)
reason_isabelle_support=" (need version 2013-1)"
;;
esac
fi
......
......@@ -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 = "jEdit/Isabelle"
name = "Isabelle/jEdit"
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