]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30eee61) | patch
added an 'a parameter to mpresentation type so that it and boxes could
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 11 Jun 2005 12:18:59 +0000 (12:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 11 Jun 2005 12:18:59 +0000 (12:18 +0000)
commite011e7cd08af361cb5de9c953bfc58b4cd918308
tree8ce9375d21c702ef636518209cadc789657c5f9ctree | snapshot
parent30eee617c19239418299d6ff839fe48c63cc95e3commit | diff
added an 'a parameter to mpresentation type so that it and boxes could
be used in a mutual recursive fashoin (boxes inside mpresentation inside
boxes ...) needed by cic_notation
12 files changed:
helm/ocaml/cic_transformations/applyTransformation.ml diff | blob | history
helm/ocaml/cic_transformations/ast2pres.ml diff | blob | history
helm/ocaml/cic_transformations/ast2pres.mli diff | blob | history
helm/ocaml/cic_transformations/box.ml diff | blob | history
helm/ocaml/cic_transformations/box.mli diff | blob | history
helm/ocaml/cic_transformations/boxPp.ml diff | blob | history
helm/ocaml/cic_transformations/cic2Xml.ml diff | blob | history
helm/ocaml/cic_transformations/cic2Xml.mli diff | blob | history
helm/ocaml/cic_transformations/content2pres.mli diff | blob | history
helm/ocaml/cic_transformations/mpresentation.ml diff | blob | history
helm/ocaml/cic_transformations/mpresentation.mli diff | blob | history
helm/ocaml/cic_transformations/sequent2pres.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.