]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2c60ba) | patch
* added .mli file for the editor
authorLuca Padovani <luca.padovani@unito.it>
Fri, 4 Apr 2003 10:14:44 +0000 (10:14 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 4 Apr 2003 10:14:44 +0000 (10:14 +0000)
commit4beef8d7eac23c6015d2d4cf887e4fc9d546c07a
tree6497192de6656d810b841742c3aeb57652682315tree | snapshot
parentd2c60bae1c4badba0a0f29e3fd2faed6d3a1869ecommit | diff
* added .mli file for the editor
helm/DEVEL/mathml_editor/ocaml/.depend diff | blob | history
helm/DEVEL/mathml_editor/ocaml/Makefile.am diff | blob | history
helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.