# HG changeset patch
# User wenzelm
# Date 935085377 -7200
# Node ID 81286f228b2d5f1e821fceb8696edfe93d902b5b
# Parent  fe09a0c5cebe192125ee0b1e47c9687691c88fa2
Mucke, Einhoven;

diff -r fe09a0c5cebe -r 81286f228b2d etc/settings
--- 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