| Fri, 13 Feb 2009 09:57:08 +0000 | Christian Urban | properly handled linenumbers in ML-text and Isar-proofs | file | diff | annotate |
| Wed, 11 Feb 2009 17:40:24 +0000 | Christian Urban | added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*) | file | diff | annotate |
| Mon, 09 Feb 2009 01:12:00 +0000 | Christian Urban | added more to the Tactical section | file | diff | annotate |
| Sun, 08 Feb 2009 08:45:25 +0000 | Christian Urban | polished | file | diff | annotate |
| Sat, 07 Feb 2009 12:05:02 +0000 | Christian Urban | general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution | file | diff | annotate |
| Fri, 06 Feb 2009 06:19:52 +0000 | Christian Urban | tuned | file | diff | annotate |
| Wed, 28 Jan 2009 06:29:16 +0000 | Christian Urban | polished | file | diff | annotate |
| Tue, 27 Jan 2009 21:22:27 +0000 | Christian Urban | better handling of {* and *} | file | diff | annotate |
| Mon, 26 Jan 2009 16:09:02 +0000 | Christian Urban | polished | file | diff | annotate |
| Mon, 26 Jan 2009 12:29:43 +0000 | Christian Urban | tuned | file | diff | annotate |
| Fri, 23 Jan 2009 17:50:35 +0000 | Christian Urban | tuned | file | diff | annotate |
| Fri, 16 Jan 2009 14:57:36 +0000 | Christian Urban | tuned | file | diff | annotate |
| Wed, 14 Jan 2009 23:44:14 +0000 | Christian Urban | added an antiquotation option [gray] for gray boxes around displays | file | diff | annotate |
| Wed, 14 Jan 2009 17:47:49 +0000 | Christian Urban | highligted the background of ML-code | file | diff | annotate |
| Wed, 14 Jan 2009 16:46:07 +0000 | Christian Urban | added more to the "new command section" and tuning | file | diff | annotate |