tuned;
authorwenzelm
Fri Aug 06 22:37:57 1999 +0200 (1999-08-06)
changeset 71945a80f69d6c62
parent 7193 cc7a89d233f7
child 7195 a38dc0c6b244
tuned;
etc/settings
     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=