| Sun, 30 Mar 2025 20:20:27 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Sun, 30 Mar 2025 13:50:06 +0200 |
haftmann |
tuned namespace organisation
|
file |
diff |
annotate
|
| Sun, 30 Mar 2025 11:21:34 +0200 |
haftmann |
proper markup for target language code
|
file |
diff |
annotate
|
| Sun, 01 Dec 2024 14:01:47 +0100 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2024 20:06:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2024 20:05:09 +0200 |
wenzelm |
more robust: global ML name space for markup elements;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2024 12:32:11 +0200 |
wenzelm |
clarified signature and modules;
|
file |
diff |
annotate
|
| Tue, 10 Sep 2024 20:36:01 +0200 |
wenzelm |
clarified signature: prefer explicit type Bytes.T;
|
file |
diff |
annotate
|
| Tue, 10 Sep 2024 20:06:51 +0200 |
wenzelm |
clarified signature, roughly following Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 09 Sep 2024 22:59:51 +0200 |
wenzelm |
more scalable;
|
file |
diff |
annotate
|
| Mon, 09 Sep 2024 22:40:33 +0200 |
wenzelm |
eliminate print mode "code_presentation" thanks to value-oriented Pretty.T operations;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 09 Sep 2024 11:12:13 +0200 |
wenzelm |
clarified signature: more explicit type "ops";
|
file |
diff |
annotate
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
more uniform approach towards satisfied applications
|
file |
diff |
annotate
|
| Sun, 12 Feb 2023 06:45:59 +0000 |
haftmann |
somehow more clear terminology
|
file |
diff |
annotate
|