2012-04-18 | nipkow | tuned text, improved dependencies | file | diff | annotate |
2012-04-03 | nipkow | made sure that " is shown in tutorial text | file | diff | annotate |
2012-04-02 | nipkow | New manual Programming and Proving in Isabelle/HOL | file | diff | annotate |