| Wed, 18 Apr 2012 18:24:16 +0200 | nipkow | tuned text, improved dependencies | file | diff | annotate |
| Tue, 03 Apr 2012 08:55:06 +0200 | nipkow | made sure that " is shown in tutorial text | file | diff | annotate |
| Mon, 02 Apr 2012 10:49:03 +0200 | nipkow | New manual Programming and Proving in Isabelle/HOL | file | diff | annotate |