# HG changeset patch
# User paulson
# Date 933678313 -7200
# Node ID ac93579530ead9a1fef998110ecb0b84717a8fdd
# Parent  d49318f6c11ad8e57ebdf2192f466bcc039e2a4a
new variables for SVC

diff -r d49318f6c11a -r ac93579530ea etc/settings
--- a/etc/settings	Tue Aug 03 13:04:50 1999 +0200
+++ b/etc/settings	Tue Aug 03 13:05:13 1999 +0200
@@ -104,6 +104,10 @@
 #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
+
 ###
 ### Interfaces
 ###