| 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
|
| Mon, 17 May 2021 23:38:16 +0200 |
wenzelm |
proper options;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 23:30:25 +0200 |
wenzelm |
option document_build refers to build engine in Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 17:05:47 +0100 |
wenzelm |
updated documentation: HIDPI works smoothly thanks to FlatLaf;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2020 23:03:03 +0100 |
wenzelm |
avoid multiple uses of the same ML file;
|
file |
diff |
annotate
|
| Fri, 11 Sep 2020 14:04:16 +0200 |
wenzelm |
prefer current mathpartir.sty from underlying TeX distribution;
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 22:43:40 +0200 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
| Fri, 10 Jul 2020 21:30:21 +0200 |
wenzelm |
more robust, notably for isabelle_cronjob;
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 22:35:24 +0200 |
wenzelm |
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
|
file |
diff |
annotate
|
| Fri, 19 Jun 2020 18:29:37 +0200 |
wenzelm |
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
|
file |
diff |
annotate
|
| Wed, 17 Jun 2020 20:42:52 +0200 |
wenzelm |
enable pide_session by default;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 22:37:22 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Mon, 11 Nov 2019 17:32:40 +0100 |
wenzelm |
documentation on Phabricator server administration;
|
file |
diff |
annotate
|
| Sun, 08 Sep 2019 17:49:35 +0200 |
wenzelm |
clarified syntax: 'directories' and 'theories' belong together;
|
file |
diff |
annotate
|
| Sun, 08 Sep 2019 16:49:05 +0200 |
wenzelm |
declare session directories;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2018 21:42:08 +0100 |
wenzelm |
clarified session dependencies: faster build_doc/build_release;
|
file |
diff |
annotate
|
| Tue, 02 Oct 2018 19:20:00 +0200 |
wenzelm |
explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc;
|
file |
diff |
annotate
|