| Mon, 18 Apr 2016 20:56:18 +0200 |
haftmann |
fragment of a HOL type class primer
|
file |
diff |
annotate
|
| Tue, 29 Mar 2016 09:45:54 +0200 |
blanchet |
added sketchy 'corec' documentation
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 21:14:59 +0100 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
| Fri, 19 Feb 2016 15:01:38 +0100 |
wenzelm |
moved examples to avoid dependency on bulky HOL-Proofs session, e.g. relevant for "isabelle makedist";
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| Sun, 24 Jan 2016 15:25:39 +0100 |
wenzelm |
guard sessions that no longer work with SML/NJ -- memory problems;
|
file |
diff |
annotate
|
| Tue, 12 Jan 2016 19:58:17 +0100 |
wenzelm |
updated old screenshots, added new screenshots;
|
file |
diff |
annotate
|
| Thu, 31 Dec 2015 19:53:19 +0100 |
wenzelm |
discontinued documentation of old browser;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 20:13:51 +0200 |
wenzelm |
clarified sections;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 11:14:44 +0200 |
wenzelm |
removed outdated and mostly obsolete material;
|
file |
diff |
annotate
|
| Mon, 15 Jun 2015 14:10:41 +0200 |
wenzelm |
moved sections;
|
file |
diff |
annotate
|
| Tue, 19 May 2015 18:34:16 +0200 |
wenzelm |
more on displays with very high resolution;
|
file |
diff |
annotate
|
| Sun, 17 May 2015 23:03:49 +0200 |
wenzelm |
added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;
|
file |
diff |
annotate
|
| Mon, 04 May 2015 20:05:50 +0200 |
wenzelm |
more on Isabelle document preparation and bibtex files;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2015 11:37:53 +0100 |
wenzelm |
no document here;
|
file |
diff |
annotate
|