History for src/unicode_lower.m
|
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: [c692e34247] check-in: [257fc27253] user: js, branch: trunk, size: 45872 [annotate] [blame] [check-ins using] [diff] | |
|
2009-10-12
| ||
| 16:57 | Added: Add generated Unicode tables. file: [26243532a2] check-in: [0c8ad4fef3] user: js, branch: trunk, size: 87806 [annotate] [blame] [check-ins using] | |