equal
deleted
inserted
replaced
3 # Isabelle settings -- distribution defaults. |
3 # Isabelle settings -- distribution defaults. |
4 # |
4 # |
5 # Important notes: |
5 # Important notes: |
6 # * See the "system" manual for explanations on Isabelle settings |
6 # * See the "system" manual for explanations on Isabelle settings |
7 # * DO NOT EDIT the repository copy of this file! |
7 # * DO NOT EDIT the repository copy of this file! |
8 # * DO NOT COPY this file into your ~/.isabelle directory! |
8 # * DO NOT COPY this file into your $ISABELLE_HOME_USER directory! |
9 |
9 |
10 ### |
10 ### |
11 ### Isabelle/Scala |
11 ### Isabelle/Scala |
12 ### |
12 ### |
13 |
13 |