diff options
| author | regisgia | 2013-09-02 09:20:59 +0000 |
|---|---|---|
| committer | regisgia | 2013-09-02 09:20:59 +0000 |
| commit | 16328ec755874a9b704dde4ec22a75123e2f9f96 (patch) | |
| tree | a897f40877b2343315245eb403d4a2f708cfd53d /lib/cStack.ml | |
| parent | a318e3c86bf8e9e849817a96069268bcf0a9d2e2 (diff) | |
* lib/Unicode:
Workaround. Some characters seems to be missing in
Camomile's category tables. We add them manually.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16755 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/cStack.ml')
0 files changed, 0 insertions, 0 deletions