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