Fri, 19 Dec 2008 14:31:17 +0100 | ballarin | More porting to new locales. | changeset | files |
Fri, 19 Dec 2008 14:31:07 +0100 | ballarin | Intro_locales_tac knows about defines elements; more robust export morphism. | changeset | files |
Fri, 19 Dec 2008 11:57:21 +0100 | ballarin | More porting to new locales. | changeset | files |
Fri, 19 Dec 2008 11:09:31 +0100 | ballarin | Merged. | changeset | files |