| Fri, 29 Aug 2003 15:40:11 +0200 | ballarin | Method rule_tac understands Isar contexts: documentation. | file | diff | annotate |
| Wed, 07 Aug 2002 17:36:05 +0200 | wenzelm | section on "Rule declarations and methods"; | file | diff | annotate |
| Fri, 08 Mar 2002 15:53:15 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Mar 2002 22:52:07 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Tue, 05 Mar 2002 18:55:46 +0100 | wenzelm | more stuff; | file | diff | annotate |
| Mon, 04 Mar 2002 22:32:15 +0100 | wenzelm | 'using' primitive; | file | diff | annotate |
| Sun, 15 Oct 2000 19:51:56 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Sep 2000 22:13:23 +0200 | wenzelm | renamed atts: rulify to rule_format, elimify to elim_format; | file | diff | annotate |
| Thu, 07 Sep 2000 21:06:55 +0200 | wenzelm | improved att names; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Thu, 17 Aug 2000 10:31:43 +0200 | wenzelm | updated; | file | diff | annotate |
| Mon, 14 Aug 2000 18:45:31 +0200 | wenzelm | updated; | file | diff | annotate |
| Sun, 23 Jul 2000 12:01:05 +0200 | wenzelm | classical atts now intro! / intro / intro?; | file | diff | annotate |
| Sat, 01 Jul 2000 19:59:24 +0200 | wenzelm | removed "help"; | file | diff | annotate |
| Wed, 12 Apr 2000 23:45:21 +0200 | wenzelm | added 'insert' method; | file | diff | annotate |