| Tue, 10 Dec 2024 16:37:09 +0100 |
wenzelm |
more LaTeX markup for printed entities;
|
file |
diff |
annotate
|
| Tue, 10 Dec 2024 14:42:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 10 Dec 2024 10:52:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 26 Oct 2024 16:07:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2024 19:52:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2024 21:41:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2024 19:35:21 +0200 |
wenzelm |
further clarification of print_mode: PIDE markup depends on "isabelle_process" alone, Latex is stateless;
|
file |
diff |
annotate
|
| Tue, 10 Sep 2024 19:57:45 +0200 |
wenzelm |
clarified print mode "latex": no longer impact Output/Markup/Pretty operations;
|
file |
diff |
annotate
|
| Tue, 10 Sep 2024 12:05:37 +0200 |
wenzelm |
tuned;
|
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
|
| Thu, 29 Aug 2024 17:47:29 +0200 |
wenzelm |
more scalable pretty printing: avoid exception String.Size at command "value" (line 33 of "$AFP/Iptables_Semantics/Examples/SQRL_Shorewall/Analyze_SQRL_Shorewall.thy") in AFP/c69af9cd3390;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 16:09:35 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|