| Tue, 21 Aug 2018 17:29:46 +0200 | nipkow | improved sectioning | file | diff | annotate |
| Fri, 12 Jan 2018 14:08:53 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| Sun, 21 Sep 2014 16:56:11 +0200 | haftmann | explicit separation of signed and unsigned numerals using existing lexical categories num and xnum | file | diff | annotate |
| Wed, 22 May 2013 00:30:36 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 17 May 2013 08:19:52 +0200 | nipkow | replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time | file | diff | annotate |
| Wed, 08 May 2013 12:06:04 +0200 | nipkow | tuned | file | diff | annotate |
| Mon, 03 Sep 2012 15:41:06 +0200 | nipkow | added annotations after condition in if and while | file | diff | annotate |
| Sun, 05 Feb 2012 17:09:21 +0100 | nipkow | tuned | file | diff | annotate |
| Thu, 24 Nov 2011 19:58:37 +0100 | nipkow | Abstract interpretation is now based uniformly on annotated programs, | file | diff | annotate |