| Thu, 26 Jan 2012 21:25:18 +0100 | wenzelm | obsolete -- covered in implementation manual; | file | diff | annotate |
| Wed, 25 Jan 2012 22:01:15 +0100 | wenzelm | updated "subgoal quantifiers"; | 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 |
| Wed, 25 Jan 2012 16:16:20 +0100 | wenzelm | removed obscure/outdated material; | file | diff | annotate |
| Sun, 01 Mar 2009 13:48:17 +0100 | wenzelm | removed parts of the manual that are clearly obsolete, or covered by | file | diff | annotate |