equal
deleted
inserted
replaced
3 |
3 |
4 New in this Isabelle release |
4 New in this Isabelle release |
5 ---------------------------- |
5 ---------------------------- |
6 |
6 |
7 *** General *** |
7 *** General *** |
|
8 |
|
9 * isatool usedir: new option -f that allows to specify the ML file to |
|
10 be used by Isabelle; default is ROOT.ML. |
8 |
11 |
9 * Theory headers: the new header syntax for Isar theories is |
12 * Theory headers: the new header syntax for Isar theories is |
10 |
13 |
11 theory <name> |
14 theory <name> |
12 imports <theory1> ... <theoryn> |
15 imports <theory1> ... <theoryn> |