]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd96ce8) | patch
new module: expansion from tex like macros to utf8 strings
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Oct 2004 19:13:57 +0000 (19:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Oct 2004 19:13:57 +0000 (19:13 +0000)
commit708d2e2da7e5cfae98d69b325db56960e33fd38f
treeef11982d48c4e55ae1955e46774d1c8f54070472tree | snapshot
parentfd96ce8e13f4f9adbeef2d9feb32f94dfcfaadadcommit | diff
new module: expansion from tex like macros to utf8 strings
13 files changed:
helm/ocaml/utf8_macros/.cvsignore [new file with mode: 0644] blob
helm/ocaml/utf8_macros/.depend [new file with mode: 0644] blob
helm/ocaml/utf8_macros/Makefile [new file with mode: 0644] blob
helm/ocaml/utf8_macros/README.syntax [new file with mode: 0644] blob
helm/ocaml/utf8_macros/data/dictionary-tex.xml [new file with mode: 0644] blob
helm/ocaml/utf8_macros/data/entities-table.xml [new file with mode: 0644] blob
helm/ocaml/utf8_macros/data/extra-entities.xml [new file with mode: 0644] blob
helm/ocaml/utf8_macros/make_table.ml [new file with mode: 0644] blob
helm/ocaml/utf8_macros/pa_unicode_macro.ml [new file with mode: 0644] blob
helm/ocaml/utf8_macros/test.ml [new file with mode: 0644] blob
helm/ocaml/utf8_macros/utf8Macro.ml [new file with mode: 0644] blob
helm/ocaml/utf8_macros/utf8Macro.mli [new file with mode: 0644] blob
helm/ocaml/utf8_macros/utf8MacroTable.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.