]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03c3436) | patch
changed structure of the generated utf8MacroTable.ml file so that it can be
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 14:39:11 +0000 (14:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 14:39:11 +0000 (14:39 +0000)
commit61cae682fe37db1a53a186ae5e10cfae47a89396
tree60824518f3535787dc75b5f1872bd0b3656a5293tree | snapshot
parent03c3436a65052dd3006477e3b079c6b07ce86693commit | diff
changed structure of the generated utf8MacroTable.ml file so that it can be
compiled with ocamlopt avoiding Stack_overflow
components/utf8_macros/Makefile diff | blob | history
components/utf8_macros/make_table.ml diff | blob | history
components/utf8_macros/utf8MacroTable.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.