etc/settings
changeset 7194 5a80f69d6c62
parent 7185 19672499bab6
child 7296 81286f228b2d
     1.1 --- a/etc/settings	Fri Aug 06 22:34:00 1999 +0200
     1.2 +++ b/etc/settings	Fri Aug 06 22:37:57 1999 +0200
     1.3 @@ -129,7 +129,7 @@
     1.4  ### External reasoning tools
     1.5  ###
     1.6  
     1.7 -## set FOO_HOME only for tools you have installed
     1.8 +## Set HOME only for tools you have installed!
     1.9  
    1.10  # SVC (Stanford Validity Checker)
    1.11  #SVC_HOME=