| Thu, 10 Mar 2016 17:30:04 +0100 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
| Thu, 15 Jan 2015 13:39:41 +0100 |
haftmann |
even more pervasive replacement of auxiliary destination
|
file |
diff |
annotate
|
| Sat, 10 Jan 2015 10:24:30 +0100 |
haftmann |
avoid writing into source
|
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
|
| Sat, 27 Jul 2013 21:21:47 +0200 |
wenzelm |
more direct inclusion of tikz pictures;
|
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
|