| --- Isabelle2013-orig/etc/settings 2013-02-13 00:31:02.000000000 +1100 |
| +++ Isabelle2013/etc/settings 2013-08-17 14:47:46.045988000 +1000 |
| @@ -176,3 +176,16 @@ |
| #ISABELLE_GHC="/usr/bin/ghc" |
| #ISABELLE_OCAML="/usr/bin/ocaml" |
| #ISABELLE_SWIPL="/usr/bin/swipl" |
| + |
| +# Poly/ML Gentoo (x86_64) |
| +ML_PLATFORM=x86_64-linux |
| +ML_HOME="/usr/bin" |
| +ML_SYSTEM=polyml-5.5.0 |
| +ML_OPTIONS="-H 1000" |
| +ML_SOURCES="/usr/src/debug/dev-lang/polyml-5.5.0" |
| + |
| +# Proof General home |
| +PROOFGENERAL_HOME="/usr/share/emacs/site-lisp/ProofGeneral" |
| +PROOFGENERAL_OPTIONS="" |
| +#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets" |
| + |