Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
authorwenzelm
Mon, 14 Mar 2011 15:17:10 +0100
changeset 41968 7f5c9bd991be
parent 41967 6aa69999da8f
child 41982 96cbc6379e5a
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
etc/settings file | annotate | diff | comparison | revisions 
--- 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"
isabelle