etc/user-settings.sample
changeset 3184 4e0bbfb113d5
parent 3179 c8263805dede
child 3289 8c947c178f29
--- a/etc/user-settings.sample	Wed May 14 17:55:10 1997 +0200
+++ b/etc/user-settings.sample	Wed May 14 18:37:03 1997 +0200
@@ -21,7 +21,7 @@
 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
 #ISABELLE_OUTPUT=somewhere-else
 
-#DEFAULT_LOGIC=ZF
+#ISABELLE_LOGIC=ZF
 
 
 ###