| 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 |