1.1 --- a/etc/settings	Fri Aug 06 13:39:48 1999 +0200
     1.2 +++ b/etc/settings	Fri Aug 06 15:38:07 1999 +0200
     1.3 @@ -104,11 +104,6 @@
     1.4  #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
     1.5  
     1.6  
     1.7 -## SVC (Stanford Validity Checker); set SVC_HOME only if it is installed
     1.8 -#SVC_HOME=
     1.9 -#SVC_MACHINE=i386-redhat-linux
    1.10 -#SVC_MACHINE=sparc-sun-solaris
    1.11 -
    1.12  ###
    1.13  ### Interfaces
    1.14  ###
    1.15 @@ -128,3 +123,15 @@
    1.16  # Emacs running Proof General.
    1.17  #ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
    1.18  PROOFGENERAL_OPTIONS=""
    1.19 +
    1.20 +
    1.21 +###
    1.22 +### External reasoning tools
    1.23 +###
    1.24 +
    1.25 +## set FOO_HOME only for tools you have installed
    1.26 +
    1.27 +# SVC (Stanford Validity Checker)
    1.28 +#SVC_HOME=
    1.29 +#SVC_MACHINE=i386-redhat-linux
    1.30 +#SVC_MACHINE=sparc-sun-solaris