changeset 7296 | 81286f228b2d |
parent 7194 | 5a80f69d6c62 |
child 7762 | c98d70538033 |
--- 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