| Fri, 04 Oct 2002 09:56:48 +0200 | berghofe | Documented new "asm_lr" option for simp. | file | diff | annotate |
| Fri, 08 Mar 2002 15:53:15 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Mar 2002 23:21:19 +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 19:07:22 +0100 | wenzelm | improved ``deriving rules''; | file | diff | annotate |
| Thu, 03 Jan 2002 17:48:02 +0100 | wenzelm | next round of updates; | file | diff | annotate |
| Wed, 02 Jan 2002 21:53:50 +0100 | wenzelm | first stage of major update; | file | diff | annotate |
| Tue, 04 Sep 2001 21:10:57 +0200 | wenzelm | renamed "antecedent" case to "rule_context"; | file | diff | annotate |
| Thu, 09 Aug 2001 22:07:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 27 Dec 2000 18:25:54 +0100 | wenzelm | ares_tac, [edf]atac; | file | diff | annotate |
| Tue, 17 Oct 2000 22:25:03 +0200 | wenzelm | "Deriving rules"; | file | diff | annotate |
| Sun, 15 Oct 2000 19:51:56 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 14:19:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 04 Oct 2000 21:05:42 +0200 | wenzelm | added more stuff; | file | diff | annotate |
| Thu, 28 Sep 2000 19:07:09 +0200 | wenzelm | some preliminary stuff on conversion; | file | diff | annotate |
| Tue, 05 Sep 2000 18:43:22 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 03 Sep 2000 20:01:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 02 Sep 2000 21:46:04 +0200 | wenzelm | some stuff; | file | diff | annotate |
| Mon, 14 Aug 2000 18:49:35 +0200 | wenzelm | added conversion.tex; | file | diff | annotate |