doc-src/ProgProve/Makefile
2012-04-18 nipkow tuned text, improved dependencies
2012-04-03 nipkow made sure that " is shown in tutorial text
2012-04-02 nipkow New manual Programming and Proving in Isabelle/HOL
less more (0) tip