# 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