equal
deleted
inserted
replaced
104 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100" |
104 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100" |
105 |
105 |
106 |
106 |
107 ## SVC (Stanford Validity Checker); set SVC_HOME only if it is installed |
107 ## SVC (Stanford Validity Checker); set SVC_HOME only if it is installed |
108 #SVC_HOME= |
108 #SVC_HOME= |
109 SVC_MACHINE=i386-redhat-linux |
109 #SVC_MACHINE=i386-redhat-linux |
|
110 #SVC_MACHINE=sparc-sun-solaris |
110 |
111 |
111 ### |
112 ### |
112 ### Interfaces |
113 ### Interfaces |
113 ### |
114 ### |
114 |
115 |