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 * Document preparation: new antiquotations @{lhs thm} and @{rhs thm} |
|
10 printing the lhs/rhs of definitions, equations, inequations etc. |
8 |
11 |
9 * isatool usedir: new option -f that allows specification of the ML |
12 * isatool usedir: new option -f that allows specification of the ML |
10 file to be used by Isabelle; default is ROOT.ML. |
13 file to be used by Isabelle; default is ROOT.ML. |
11 |
14 |
12 * Theory headers: the new header syntax for Isar theories is |
15 * Theory headers: the new header syntax for Isar theories is |