]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3bc73e) | patch
added mathml_ns
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 1 Feb 2005 17:55:53 +0000 (17:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 1 Feb 2005 17:55:53 +0000 (17:55 +0000)
commit2e20f3cf00bfbb93b8ca9419aa36d22ddec49815
treeab7b21058706cf691b7a49652e224cc576ef5bb7tree | snapshot
parenta3bc73ee710387e84d1cd33a3f8f6303daa7cc1fcommit | diff
added mathml_ns
helm/ocaml/cic_transformations/misc.ml diff | blob | history
helm/ocaml/cic_transformations/misc.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.