| Sun, 27 Sep 2009 11:50:27 +0200 | ballarin | Archive registrations by external view. | changeset | files |
| Sat, 26 Sep 2009 21:03:57 +0200 | ballarin | Stricter test: raise error if registration generates duplicate theorem. | changeset | files |
| Sat, 19 Sep 2009 18:43:11 +0200 | ballarin | Explicit management of registration mixins. | changeset | files |
| Wed, 19 Aug 2009 19:35:46 +0200 | ballarin | Improved comments and api names. | changeset | files |
| Thu, 01 Oct 2009 01:03:36 +0200 | wenzelm | eliminated dead code, redundant bindings and parameters; | changeset | files |
| Thu, 01 Oct 2009 00:32:00 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Wed, 30 Sep 2009 23:49:53 +0200 | wenzelm | eliminated dead code; | changeset | files |