changeset 2436 | 5be639c601b2 |
parent 2427 | d5efdfad074d |
child 2466 | 5220fb014f8a |
2435:750a73406623 | 2436:5be639c601b2 |
---|---|
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings. |
4 # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings. |
5 # |
5 # |
6 |
|
7 ### |
|
8 ### Compilation options |
|
9 ### |
|
10 |
|
11 #ISABELLE_HTML=false |
|
12 |
|
6 |
13 |
7 ### |
14 ### |
8 ### Heap files |
15 ### Heap files |
9 ### |
16 ### |
10 |
17 |