| Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | file | diff | annotate |
| Mon, 18 Oct 2010 15:35:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 15 Oct 2010 20:22:56 +0100 | wenzelm | tuned chapter arrangement; | file | diff | annotate |
| Wed, 13 Oct 2010 21:57:21 +0100 | wenzelm | more on "Proof methods"; | file | diff | annotate |
| Tue, 02 Feb 2010 13:11:04 +0100 | wenzelm | added Subgoal.FOCUS; | file | diff | annotate |
| Sun, 26 Jul 2009 13:21:12 +0200 | wenzelm | updated Variable.focus, SUBPROOF, Obtain.result, Goal.finish; | file | diff | annotate |
| Thu, 05 Mar 2009 02:27:54 +0100 | wenzelm | regenerated document; | file | diff | annotate |