| 2009-02-15 | Christian Urban | some polishing; split up the file External Solver into two | file | diff | annotate |
| 2009-02-14 | Christian Urban | more changes to the package chapter | file | diff | annotate |
| 2009-02-13 | Christian Urban | properly handled linenumbers in ML-text and Isar-proofs | file | diff | annotate |
| 2009-02-11 | Christian Urban | added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*) | file | diff | annotate |
| 2009-02-09 | Christian Urban | added more to the Tactical section | file | diff | annotate |
| 2009-02-08 | Christian Urban | polished | file | diff | annotate |