]> matita.cs.unibo.it Git - helm.git/commit
better table creator
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 11:14:08 +0000 (11:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 11:14:08 +0000 (11:14 +0000)
commit77c46ef062fefb9f726e14c6c2e6c15389ec1aa5
tree6abae76adc0a0349a32b0e8334eef807b29c487e
parent0afd42c06451194ce1849abf57bf56fe7ec6ae88
better table creator
helm/ocaml/metadata/table_creator/table_creator.ml