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