| Wed, 25 Jan 2012 22:01:15 +0100 | wenzelm | updated "subgoal quantifiers"; | file | diff | annotate |
| Wed, 25 Jan 2012 21:14:00 +0100 | wenzelm | tuned ML infixes; | file | diff | annotate |
| Wed, 25 Jan 2012 20:26:05 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 25 Jan 2012 19:04:38 +0100 | wenzelm | updated repetition tacticals; | file | diff | annotate |
| Wed, 25 Jan 2012 18:18:59 +0100 | wenzelm | updated THEN, ORELSE, APPEND, and derivatives; | file | diff | annotate |
| 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 |