]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62820aa) | patch
CSC: tentative definition of the ocaml structure that represents
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 18 Jul 2003 18:01:29 +0000 (18:01 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 18 Jul 2003 18:01:29 +0000 (18:01 +0000)
commit4a01e6197e070d3eff7a3fe02180597136d81eba
tree12afe2b7d9c6c4b5009b9036ba62239c2785b4b0tree | snapshot
parent62820aacb94856be5cd2e125032669245ca1408dcommit | diff
CSC: tentative definition of the ocaml structure that represents
 OMDoc objects.
helm/gTopLevel/content2cic.ml diff | blob | history
helm/gTopLevel/termViewer.ml diff | blob | history
helm/ocaml/cic_transformations/cic2content.ml diff | blob | history
helm/ocaml/cic_transformations/cic2content.mli diff | blob | history
helm/ocaml/cic_transformations/content2pres.ml diff | blob | history
helm/ocaml/cic_transformations/content2pres.mli diff | blob | history
helm/ocaml/cic_transformations/contentPp.ml diff | blob | history
helm/ocaml/cic_transformations/mpresentation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.