# HG changeset patch
# User wenzelm
# Date 1300112230 -3600
# Node ID 7f5c9bd991be283e729ec851aab936ba8b1bdde1
# Parent  6aa69999da8fbc7cff977a1fd722b864d0611429
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;

diff -r 6aa69999da8f -r 7f5c9bd991be etc/settings
--- a/etc/settings	Mon Mar 14 15:13:00 2011 +0100
+++ b/etc/settings	Mon Mar 14 15:17:10 2011 +0100
@@ -228,3 +228,8 @@
 # Second option: use the open source glpk solver
 #LP_SOLVER=GLPK
 #GLPK_PATH=glpsol
+
+# Misc programming languages
+#ISABELLE_GHC="/usr/local/ghc/$ISABELLE_PLATFORM/ghc"
+#ISABELLE_OCAML="/usr/local/ocaml/$ISABELLE_PLATFORM/ocaml"
+#ISABELLE_SWIPL="/usr/local/swipl/$ISABELLE_PLATFORM/swipl"