Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 22:46:13 +0200 |
wenzelm |
prefer @{cite} antiquotation;
|
file |
diff |
annotate
|
Sun, 06 Apr 2014 16:59:41 +0200 |
wenzelm |
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
|
file |
diff |
annotate
|
Mon, 06 Jan 2014 17:47:44 +0100 |
wenzelm |
more formal ISABELLE_BROWSER_INFO;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 22:20:25 +0200 |
wenzelm |
discontinued historic document formats;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 21:50:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 13 Mar 2013 15:12:14 +0100 |
wenzelm |
sessions may be organized via 'chapter' in ROOT;
|
file |
diff |
annotate
|
Sat, 26 Jan 2013 12:45:32 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|