Tue, 16 Dec 2008 15:09:37 +0100 | ballarin | Merged. | changeset | files |
Tue, 16 Dec 2008 15:09:12 +0100 | ballarin | More porting to new locales. | changeset | files |
Mon, 15 Dec 2008 18:12:52 +0100 | ballarin | More porting to new locales. | changeset | files |
Sun, 14 Dec 2008 18:45:51 +0100 | ballarin | Ported HOL and HOL-Library to new locales. | changeset | files |