| Wed, 19 May 2021 11:54:58 +0200 |
wenzelm |
more direct use of latex tools: avoid diversion into "isabelle latex -o pdf" and its confusion of ISABELLE_PDFLATEX vs. ISABELLE_LUALATEX;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 20:19:02 +0200 |
wenzelm |
more robust run of makeindex (amending 0f0a2148a099, Gerwin Klein 2004), using the old status-quo of e.g. doc-src/Intro/Makefile;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 19:49:06 +0200 |
wenzelm |
discontinued somewhat pointless "fixbookmarks": default output works sufficiently well;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 15:17:55 +0200 |
wenzelm |
option document_logo;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 17:30:04 +0100 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
| Fri, 11 Apr 2014 12:40:12 +0200 |
wenzelm |
more formal dependencies via 'document_files';
|
file |
diff |
annotate
|
| Tue, 10 Sep 2013 11:57:53 +0200 |
wenzelm |
more portable hash-bang;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2012 18:05:24 +0100 |
wenzelm |
eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005);
|
file |
diff |
annotate
|
| Mon, 03 Sep 2012 11:09:25 +0200 |
wenzelm |
"isabelle logo" produces EPS and PDF format simultaneously;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|