equal
deleted
inserted
replaced
3 |
3 |
4 New in this Isabelle version |
4 New in this Isabelle version |
5 ---------------------------- |
5 ---------------------------- |
6 |
6 |
7 *** General *** |
7 *** General *** |
|
8 |
|
9 * Uniform management of "quick_and_dirty" as system option (see also |
|
10 "isabelle options"), configuration option within the context (see also |
|
11 Config.get in Isabelle/ML), and attribute in Isabelle/Isar. Minor |
|
12 INCOMPATIBILITY, need to use more official Isabelle means to access |
|
13 quick_and_dirty, instead of historical poking into mutable reference. |
8 |
14 |
9 * Sessions may be organized via 'chapter' specifications in the ROOT |
15 * Sessions may be organized via 'chapter' specifications in the ROOT |
10 file, which determines a two-level hierarchy of browser info. The old |
16 file, which determines a two-level hierarchy of browser info. The old |
11 tree-like organization via implicit sub-session relation, with its |
17 tree-like organization via implicit sub-session relation, with its |
12 tendency towards erratic fluctuation of URLs, has been discontinued. |
18 tendency towards erratic fluctuation of URLs, has been discontinued. |