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
 ###