| changeset 3118 | 24dae6222579 |
| parent 2968 | 8ba30b031f31 |
| child 3178 | 97d2d09e61fe |
--- a/etc/user-settings.sample Tue May 06 15:24:41 1997 +0200 +++ b/etc/user-settings.sample Tue May 06 15:27:35 1997 +0200 @@ -15,7 +15,10 @@ ### Heap files ### +# Note: ML system identifier appended automatically! + #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH +#ISABELLE_OUTPUT=somewhere-else #DEFAULT_LOGIC=ZF