]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c22e6a) | patch
* the type of the constructor was wrong
authorLuca Padovani <luca.padovani@unito.it>
Wed, 12 Feb 2003 16:24:58 +0000 (16:24 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 12 Feb 2003 16:24:58 +0000 (16:24 +0000)
commit6661b044574d16144dfa0db68708f64ee286fb00
tree2e7bf2ced70ef3cc6b496c32864c679700037e9etree | snapshot
parent1c22e6a7aa5a776bc4fb2982826aa53d171a2d5fcommit | diff
* the type of the constructor was wrong
helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.