]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 081cb0a) | patch
bugfix: return unshared sequent when applying cic -> mathml transformations so that...
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 22 Nov 2005 12:57:06 +0000 (12:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 22 Nov 2005 12:57:06 +0000 (12:57 +0000)
commit13d6baa55139729871604c0c3f70a70077ba85ca
tree9417f48d4ccf729441c2467f8eb1e55c33d44686tree | snapshot
parent081cb0ae54c7e5babdedeea7559d667183a38638commit | diff
bugfix: return unshared sequent when applying cic -> mathml transformations so that paste work again
helm/matita/matitaMathView.ml diff | blob | history
helm/ocaml/cic_omdoc/cic2acic.ml diff | blob | history
helm/ocaml/cic_omdoc/cic2acic.mli diff | blob | history
helm/ocaml/cic_transformations/applyTransformation.ml diff | blob | history
helm/ocaml/cic_transformations/applyTransformation.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.