| 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 |
| Fri, 12 Dec 2008 15:02:15 +0100 | ballarin | Merged. | changeset | files |
| Fri, 12 Dec 2008 14:26:35 +0100 | ballarin | Ported to new locales. | changeset | files |
| Fri, 12 Dec 2008 14:23:49 +0100 | ballarin | Merged; updated interpretation command in isar_syn.ML. | changeset | files |
| Thu, 11 Dec 2008 18:34:05 +0100 | ballarin | Merged. | changeset | files |
| Thu, 11 Dec 2008 18:30:26 +0100 | ballarin | Conversion of HOL-Main and ZF to new locales. | changeset | files |