changeset 2436 | 5be639c601b2 |
parent 2427 | d5efdfad074d |
child 2466 | 5220fb014f8a |
1.1 --- a/etc/user-settings.sample Wed Dec 18 12:46:34 1996 +0100 1.2 +++ b/etc/user-settings.sample Wed Dec 18 12:46:59 1996 +0100 1.3 @@ -1,10 +1,17 @@ 1.4 # 1.5 # $Id$ 1.6 # 1.7 -# Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings. 1.8 +# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings. 1.9 # 1.10 1.11 ### 1.12 +### Compilation options 1.13 +### 1.14 + 1.15 +#ISABELLE_HTML=false 1.16 + 1.17 + 1.18 +### 1.19 ### Heap files 1.20 ### 1.21