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.
Jerusat settings added
authorwebertj
Tue, 15 Jun 2004 00:50:10 +0200
changeset 14943 ffdb22cf6f67
parent 14942 78ddcbebace1
child 14944 efbaecbdc05c
Jerusat settings added
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue Jun 15 00:06:40 2004 +0200
+++ b/etc/settings	Tue Jun 15 00:50:10 2004 +0200
@@ -227,3 +227,6 @@
 #BERKMIN_HOME=/usr/local/bin
 #BERKMIN_EXE=BerkMin561-linux
 #BERKMIN_EXE=BerkMin561-solaris
+
+# Jerusat 1.3 (SAT Solver)
+#JERUSAT_HOME=/usr/local/bin
isabelle