| Tue, 20 Nov 2018 13:46:13 +0100 |
wenzelm |
tuned -- refining auto-update 15e9ed5b28fb;
|
file |
diff |
annotate
|
| Thu, 08 Nov 2018 22:29:09 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Mon, 30 Oct 2017 20:04:10 +0100 |
wenzelm |
ROOT cleanup: empty 'document_files' means there is no document;
|
file |
diff |
annotate
|
| Sat, 07 Oct 2017 15:21:25 +0200 |
wenzelm |
discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF;
|
file |
diff |
annotate
|
| Mon, 02 Oct 2017 15:51:52 +0200 |
wenzelm |
proper document;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2017 14:28:01 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| Sun, 23 Apr 2017 23:49:14 +0200 |
wenzelm |
clarified parent session images, to avoid duplicate loading of theories;
|
file |
diff |
annotate
|
| Thu, 20 Apr 2017 17:50:31 +0200 |
wenzelm |
more global theories;
|
file |
diff |
annotate
|
| Sun, 09 Apr 2017 20:44:35 +0200 |
wenzelm |
clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2016 15:54:50 +0200 |
wenzelm |
sessions that are relevant for routine timing measurements;
|
file |
diff |
annotate
|
| Fri, 17 Apr 2015 11:31:33 +0200 |
wenzelm |
more session groups;
|
file |
diff |
annotate
|
| Sun, 25 Jan 2015 22:11:06 +0100 |
wenzelm |
discontinued obsolete option "document_graph";
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 23:29:43 +0200 |
wenzelm |
more bibtex entries;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 13:29:05 +0200 |
wenzelm |
systematic replacement of 'files' by 'document_files';
|
file |
diff |
annotate
|
| Tue, 12 Mar 2013 21:59:48 +0100 |
wenzelm |
refurbished some old README.html files as session descriptions, which show up in chapter index;
|
file |
diff |
annotate
|