| Tue, 01 Nov 2005 23:54:29 +0100 | urbanc | tunings of some comments (nothing serious) | file | diff | annotate |
| Sat, 29 Oct 2005 15:01:25 +0200 | urbanc | Changed Simplifier.simp_modifiers to Simplifier.simp_modifiers'. | file | diff | annotate |
| Fri, 28 Oct 2005 16:43:46 +0200 | urbanc | Added (optional) arguments to the tactics | file | diff | annotate |
| Mon, 17 Oct 2005 12:30:57 +0200 | berghofe | Initial revision. | file | diff | annotate |