| Thu, 07 Dec 2006 23:16:55 +0100 | wenzelm | reorganized structure Tactic vs. MetaSimplifier; | file | diff | annotate |
| Wed, 06 Dec 2006 01:12:57 +0100 | wenzelm | simplified ML bindings; | file | diff | annotate |
| Wed, 04 Oct 2006 14:17:46 +0200 | haftmann | clarified header comments | file | diff | annotate |
| Mon, 02 Oct 2006 23:00:51 +0200 | haftmann | tuned | file | diff | annotate |
| Tue, 19 Sep 2006 15:22:05 +0200 | haftmann | code generation 2 adjustments | file | diff | annotate |
| Wed, 06 Sep 2006 10:01:04 +0200 | haftmann | TypedefPackage.add_typedef_* now yields name of introduced type constructor | file | diff | annotate |
| Tue, 29 Aug 2006 14:31:13 +0200 | haftmann | added typecopy_package | file | diff | annotate |