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