| Fri, 20 Sep 2024 14:28:13 +0200 |
wenzelm |
clarified signature: more explicit operations;
|
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 20:36:01 +0200 |
wenzelm |
clarified signature: prefer explicit type Bytes.T;
|
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 14:53:04 +0200 |
wenzelm |
clarified unbreakable latex output: Pretty.unformatted and (Pretty.string_of o Pretty.unbreakable) should coincide, but are produced by quite different means;
|
file |
diff |
annotate
|
| Tue, 10 Sep 2024 12:34:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2022 23:00:00 +0200 |
wenzelm |
proper antiquotations;
|
file |
diff |
annotate
|
| Thu, 21 Oct 2021 18:10:51 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 11:34:28 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 25 May 2021 22:28:39 +0200 |
wenzelm |
compose Latex text as XML, output exported YXML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 23 May 2021 17:35:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 13:07:53 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 20 May 2021 21:21:37 +0200 |
wenzelm |
more ambitious default for index "is like";
|
file |
diff |
annotate
|
| Sun, 26 Jul 2020 21:53:29 +0200 |
wenzelm |
proper pretty printing for latex output, notably for pide_session=true (default);
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 16:43:02 +0200 |
wenzelm |
strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 15:44:06 +0200 |
wenzelm |
added document antiquotation option "cartouche";
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 21:49:06 +0100 |
wenzelm |
support for isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Tue, 27 Nov 2018 21:07:39 +0100 |
wenzelm |
more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 20:42:34 +0200 |
wenzelm |
override default of Isabelle_Process, notably for PIDE export of "document.tex";
|
file |
diff |
annotate
|
| Sat, 03 Feb 2018 20:34:26 +0100 |
wenzelm |
more uniform treatment of formal comments within document source;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 19:09:25 +0100 |
wenzelm |
more uniform output of source / text / theory_text, with handling of formal comments etc.;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 15:14:43 +0100 |
wenzelm |
recovered antiquotation check without latex mode (cf. dfc93f2b01ea);
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 11:25:55 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2018 21:41:30 +0100 |
wenzelm |
clarified access to antiquotation options;
|
file |
diff |
annotate
|
| Wed, 17 Jan 2018 14:40:18 +0100 |
wenzelm |
discontinued unused wrapper: print_mode is provided directly;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|