1.1 --- a/etc/user-settings.sample	Tue May 06 15:24:41 1997 +0200
     1.2 +++ b/etc/user-settings.sample	Tue May 06 15:27:35 1997 +0200
     1.3 @@ -15,7 +15,10 @@
     1.4  ### Heap files
     1.5  ###
     1.6  
     1.7 +# Note: ML system identifier appended automatically!
     1.8 +
     1.9  #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
    1.10 +#ISABELLE_OUTPUT=somewhere-else
    1.11  
    1.12  #DEFAULT_LOGIC=ZF
    1.13