Sun, 02 Mar 2014 19:45:38 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Sun, 02 Mar 2014 19:00:45 +0100 |
wenzelm |
clarified names of antiquotations and markup;
|
file |
diff |
annotate
|
Wed, 22 Jan 2014 17:02:05 +0100 |
wenzelm |
prefer rail cartouche -- avoid back-slashed quotes;
|
file |
diff |
annotate
|
Mon, 09 Dec 2013 12:22:23 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Mon, 11 Nov 2013 20:00:53 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 29 Sep 2013 12:49:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 19 Sep 2013 19:35:03 +0200 |
wenzelm |
repaired latex (cf. 84522727f9d3);
|
file |
diff |
annotate
|
Wed, 18 Sep 2013 13:18:51 +0200 |
wenzelm |
improved printing of exception trace in Poly/ML 5.5.1;
|
file |
diff |
annotate
|
Fri, 23 Aug 2013 15:36:54 +0200 |
wenzelm |
discontinued unused antiquotation blocks;
|
file |
diff |
annotate
|
Fri, 23 Aug 2013 12:30:51 +0200 |
wenzelm |
removed unused ML antiquotations @{let}, @{note};
|
file |
diff |
annotate
|
Sun, 18 Aug 2013 15:10:18 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 16:44:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 21 Jun 2013 13:36:10 +0200 |
wenzelm |
clarified strings of symbols, including ML string literals;
|
file |
diff |
annotate
|
Thu, 20 Jun 2013 16:54:05 +0200 |
wenzelm |
more on managed evaluation;
|
file |
diff |
annotate
|
Thu, 20 Jun 2013 13:53:12 +0200 |
wenzelm |
more on managed evaluation;
|
file |
diff |
annotate
|
Thu, 20 Jun 2013 11:27:43 +0200 |
wenzelm |
updated to Isabelle2013;
|
file |
diff |
annotate
|
Thu, 20 Jun 2013 11:08:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 20 Jun 2013 10:47:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 08 Apr 2013 15:35:48 +0200 |
wenzelm |
document @{make_string}, cf. NEWS of Isabelle2009-2 (June 2010);
|
file |
diff |
annotate
|
Wed, 27 Feb 2013 17:32:17 +0100 |
wenzelm |
discontinued redundant 'use' command;
|
file |
diff |
annotate
|
Sat, 26 Jan 2013 16:30:47 +0100 |
wenzelm |
some updates concerning Proof General;
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|