| 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 |
| Sun, 14 Dec 2008 18:45:16 +0100 | ballarin | Fixed legacy locale keywords (went to ZF rather than default keywords file). | changeset | files |
| Sun, 14 Dec 2008 15:50:21 +0100 | ballarin | Merged. | changeset | files |
| Fri, 12 Dec 2008 20:10:22 +0100 | ballarin | Merged. | changeset | files |
| Fri, 12 Dec 2008 20:03:30 +0100 | ballarin | Porting to new locales. | changeset | files |
| Fri, 12 Dec 2008 17:00:42 +0100 | ballarin | Theory target distinguishes old and new locales. | changeset | files |