| 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 |