changeset 29145 | b1c6f4563df7 |
parent 29070 | 1b8b46d90112 |
child 29149 | eae45c2a6811 |
29144:ca186ebbd824 | 29145:b1c6f4563df7 |
---|---|
1 # -*- shell-script -*- :mode=shellscript: |
1 # -*- shell-script -*- :mode=shellscript: |
2 # $Id$ |
|
3 # |
2 # |
4 # Isabelle settings -- site defaults. |
3 # Isabelle settings -- site defaults. |
5 # |
4 # |
6 # Important notes: |
5 # Important notes: |
7 # * See the system manual for explanations on Isabelle settings |
6 # * See the system manual for explanations on Isabelle settings |