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.
Mucke, Einhoven;
authorwenzelm
Thu, 19 Aug 1999 19:56:17 +0200
changeset 7296 81286f228b2d
parent 7295 fe09a0c5cebe
child 7297 c1eeeadbe80a
Mucke, Einhoven;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Thu Aug 19 19:55:13 1999 +0200
+++ b/etc/settings	Thu Aug 19 19:56:17 1999 +0200
@@ -135,3 +135,9 @@
 #SVC_HOME=
 #SVC_MACHINE=i386-redhat-linux
 #SVC_MACHINE=sparc-sun-solaris
+
+# Mucke (mu-calculus model checker)
+#MUCKE_HOME=/usr/local/bin
+
+# Einhoven model checker
+#EINDHOVEN_HOME=/usr/local/bin
isabelle