History of file src/unicode_upper.m at check-in c5d489cefdc71e9a488ad2d221d24becc193afba519d05b98fa9f659cd1539c1
2009-11-02
| ||
10:18 | Deleted: Update Unicode tables to those from the enhanced generator. check-in: [fe8c3ac93f] user: js, branch: trunk, size: 0 | |
2009-10-18
| ||
14:22 | Use the new, smaller Unicode tables. file: [4544126d2d] check-in: [257fc27253] user: js, branch: trunk, size: 48544 [annotate] [blame] [check-ins using] [diff] | |
2009-10-12
| ||
16:57 | Added: Add generated Unicode tables. file: [4d7a1f1aec] check-in: [0c8ad4fef3] user: js, branch: trunk, size: 90478 [annotate] [blame] [check-ins using] | |