| Wed, 12 Mar 2025 00:12:42 +0100 |
wenzelm |
more on nested syntax structure;
|
file |
diff |
annotate
|
| Sun, 10 Sep 2023 19:31:35 +0200 |
wenzelm |
documentation for the "Document" panel in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 18:11:03 +0100 |
nipkow |
Added section about code generation for partial functions
|
file |
diff |
annotate
|
| Thu, 03 Nov 2022 21:09:20 +0100 |
wenzelm |
clarified directory layout: templates for user sessions;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2022 21:44:34 +0100 |
wenzelm |
support for FoilTeX with demo document;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2022 17:10:13 +0100 |
wenzelm |
support for Easychair style with demo document;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2022 15:50:13 +0100 |
wenzelm |
support for Dagstuhl LIPIcs style with demo document;
|
file |
diff |
annotate
|
| Tue, 27 Sep 2022 13:34:54 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Wed, 19 May 2021 18:22:56 +0200 |
wenzelm |
clarified old document build;
|
file |
diff |
annotate
|
| Wed, 19 May 2021 16:41:32 +0200 |
wenzelm |
prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been removed already in 435fb018e8ee;
|
file |
diff |
annotate
|
| Wed, 19 May 2021 16:35:10 +0200 |
wenzelm |
prefer standard document_build=lualatex --- no impact of "sedindex" in prepare_document;
|
file |
diff |
annotate
|
| Wed, 19 May 2021 13:21:08 +0200 |
wenzelm |
prefer explicit option document_bibliography (actually ignored by build script);
|
file |
diff |
annotate
|
| Wed, 19 May 2021 11:48:35 +0200 |
wenzelm |
default document_build (lualatex);
|
file |
diff |
annotate
|
| Tue, 18 May 2021 21:09:51 +0200 |
wenzelm |
show symbols in Isabelle/ML instead of perl;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 15:17:55 +0200 |
wenzelm |
option document_logo;
|
file |
diff |
annotate
|