| Fri, 29 Oct 2010 11:49:56 +0200 | wenzelm | eliminated obsolete \_ escapes in rail environments; | file | diff | annotate |
| Fri, 29 Oct 2010 11:35:47 +0200 | wenzelm | proper markup of formal text; | file | diff | annotate |
| Fri, 29 Oct 2010 08:44:43 +0200 | bulwahn | updating documentation on quickcheck in the Isar reference | file | diff | annotate |
| Tue, 26 Oct 2010 12:19:01 +0200 | krauss | basic documentation for command partial_function | file | diff | annotate |
| Tue, 26 Oct 2010 12:19:01 +0200 | krauss | remove outdated "(otherwise)" syntax from manual | file | diff | annotate |
| Wed, 22 Sep 2010 10:04:17 +0200 | haftmann | formal syntax diagram for code_reflect | file | diff | annotate |
| Fri, 27 Aug 2010 14:25:07 +0200 | haftmann | official support for Scala | file | diff | annotate |