| 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 | polished and more material in the tactic chapter | 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 |
| 2009-02-07 | Christian Urban | general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution | file | diff | annotate |
| 2009-02-05 | Christian Urban | polished | file | diff | annotate |
| 2009-02-04 | Christian Urban | added some preliminary notes about SUBPROOF | file | diff | annotate |
| 2009-01-30 | Christian Urban | added | file | diff | annotate |