--- a/etc/settings Fri Aug 06 22:34:00 1999 +0200
+++ b/etc/settings Fri Aug 06 22:37:57 1999 +0200
@@ -129,7 +129,7 @@
### External reasoning tools
###
-## set FOO_HOME only for tools you have installed
+## Set HOME only for tools you have installed!
# SVC (Stanford Validity Checker)
#SVC_HOME=