Fri, 06 Sep 2013 12:46:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 07 Jul 2013 18:43:14 +0200 |
wenzelm |
discontinued obsolete "isabelle print";
|
file |
diff |
annotate
|
Tue, 25 Jun 2013 12:17:19 +0200 |
wenzelm |
slightly improved "isabelle doc" based on Isabelle/Scala;
|
file |
diff |
annotate
|
Fri, 17 May 2013 18:19:42 +0200 |
wenzelm |
discontinued obsolete isabelle usedir, mkdir, make;
|
file |
diff |
annotate
|
Mon, 31 Dec 2012 15:56:17 +0100 |
wenzelm |
simplified quick start via "isabelle components -I";
|
file |
diff |
annotate
|
Tue, 20 Nov 2012 15:18:11 +0100 |
wenzelm |
simplified command line of "isabelle install";
|
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
|