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.
ZCHAFF_HOME variable added
authorwebertj
Wed, 10 Mar 2004 20:21:08 +0100
changeset 14451 2253d273d944
parent 14450 3d2529f48b07
child 14452 c24d90dbf0c9
ZCHAFF_HOME variable added
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Wed Mar 10 10:34:56 2004 +0100
+++ b/etc/settings	Wed Mar 10 20:21:08 2004 +0100
@@ -225,3 +225,6 @@
 
 # Einhoven model checker
 #EINDHOVEN_HOME=/usr/local/bin
+
+# ZChaff SAT solver
+#ZCHAFF_HOME=/usr/local/bin
isabelle