| Fri, 16 Apr 2004 20:59:09 +0200 | wenzelm | 'instance' and intro_classes now handle general sorts; | file | diff | annotate |
| Thu, 25 Mar 2004 06:44:39 +0100 | kleing | documented new identifier syntax | file | diff | annotate |
| Tue, 30 Sep 2003 15:09:35 +0200 | ballarin | Improvements wrt rule_tac. | file | diff | annotate |
| Tue, 25 Feb 2003 15:27:01 +0100 | berghofe | Documented prf / full_prf commands and antiquotations. | file | diff | annotate |
| Fri, 08 Mar 2002 15:53:15 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Mar 2002 19:04:00 +0100 | wenzelm | tuned; | file | diff | annotate |