]> matita.cs.unibo.it Git - helm.git/commit
* added group box (?)
authorLuca Padovani <luca.padovani@unito.it>
Thu, 14 Jul 2005 09:19:28 +0000 (09:19 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 14 Jul 2005 09:19:28 +0000 (09:19 +0000)
commit7df7f06d2bc2a3fe1fe95aab957cef480d27eb86
tree26e97d1f1dc6bf5a6d8b316ebbd217c204ddc955
parentf0bf1ea643723eced46776e79975de6983885389
* added group box (?)
* added break layout and partially implemented
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPres.ml
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationRew.ml
helm/ocaml/cic_notation/cicNotationUtil.ml
helm/ocaml/cic_notation/cicNotationUtil.mli
helm/ocaml/cic_notation/doc/samples.ma