# HG changeset patch
# User wenzelm
# Date 933946687 -7200
# Node ID 19672499bab6e658b1503246b62c99b7db77feeb
# Parent  067832c0e5c36ac204d79d111ed0188ffe91679b
External reasoning tools;

diff -r 067832c0e5c3 -r 19672499bab6 etc/settings
--- a/etc/settings	Fri Aug 06 13:39:48 1999 +0200
+++ b/etc/settings	Fri Aug 06 15:38:07 1999 +0200
@@ -104,11 +104,6 @@
 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
 
 
-## SVC (Stanford Validity Checker); set SVC_HOME only if it is installed
-#SVC_HOME=
-#SVC_MACHINE=i386-redhat-linux
-#SVC_MACHINE=sparc-sun-solaris
-
 ###
 ### Interfaces
 ###
@@ -128,3 +123,15 @@
 # Emacs running Proof General.
 #ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
 PROOFGENERAL_OPTIONS=""
+
+
+###
+### External reasoning tools
+###
+
+## set FOO_HOME only for tools you have installed
+
+# SVC (Stanford Validity Checker)
+#SVC_HOME=
+#SVC_MACHINE=i386-redhat-linux
+#SVC_MACHINE=sparc-sun-solaris