]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7b6f4c) | patch
added a way to generate all the utf8 symbols
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 Nov 2007 09:07:40 +0000 (09:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 Nov 2007 09:07:40 +0000 (09:07 +0000)
commit5de5d5d0d43dac0af692d84b004c03bcbe914457
treeeba1481daf769db3ac8c943beeddabeeebf14d3dtree | snapshot
parentc7b6f4c93dd1fcdb4f226cf7ff22f75ae8728dbacommit | diff
added a way to generate all the utf8 symbols
helm/software/components/syntax_extensions/Makefile diff | blob | history
helm/software/components/syntax_extensions/make_table.ml diff | blob | history
helm/software/components/syntax_extensions/utf8MacroTable.ml.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.