| Mon, 09 Sep 2024 22:59:41 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 09 Sep 2024 22:40:33 +0200 |
wenzelm |
eliminate print mode "code_presentation" thanks to value-oriented Pretty.T operations;
|
changeset |
files
|
| Mon, 09 Sep 2024 22:04:46 +0200 |
wenzelm |
NEWS: value-oriented Pretty.T;
|
changeset |
files
|
| Mon, 09 Sep 2024 21:54:41 +0200 |
wenzelm |
proper formal sections;
|
changeset |
files
|
| Mon, 09 Sep 2024 21:45:56 +0200 |
wenzelm |
tuned signature: more options;
|
changeset |
files
|
| Mon, 09 Sep 2024 21:32:11 +0200 |
wenzelm |
clarified Pretty.markup_block: use value-oriented YXML.output_markup, with final re-interpretation via print_mode in output_tree;
|
changeset |
files
|
| Mon, 09 Sep 2024 21:23:28 +0200 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Mon, 09 Sep 2024 19:51:16 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Mon, 09 Sep 2024 19:40:18 +0200 |
wenzelm |
prefer static YXML.output_markup_only (without print_mode): Output.status is only relevant for PIDE (with print_mode "isabelle_process");
|
changeset |
files
|
| Mon, 09 Sep 2024 19:00:53 +0200 |
wenzelm |
clarified signature: more explicit type output_ops: default via print_mode;
|
changeset |
files
|
| Mon, 09 Sep 2024 13:43:28 +0200 |
wenzelm |
discontinued unused global variable (see also following bf465f335e85);
|
changeset |
files
|
| Mon, 09 Sep 2024 11:41:31 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|