| Thu, 02 Feb 2012 17:52:16 +0100 | wenzelm | discontinued obscure history commands; | changeset | files |
| Thu, 02 Feb 2012 16:38:15 +0100 | wenzelm | misc tuning and reformatting; | changeset | files |
| Thu, 02 Feb 2012 16:07:25 +0100 | wenzelm | discontinued obscure history commands; | changeset | files |
| Sun, 29 Jan 2012 22:12:25 +0100 | wenzelm | updated hint about asm_rl; | changeset | files |
| Sun, 29 Jan 2012 22:00:10 +0100 | wenzelm | updated thin_tac; | changeset | files |
| Sun, 29 Jan 2012 21:40:29 +0100 | wenzelm | updated distinct_subgoals_tac, flexflex_tac; | changeset | files |
| Sun, 29 Jan 2012 21:26:09 +0100 | wenzelm | removed obscure material; | changeset | files |