]> matita.cs.unibo.it Git - helm.git/commit
...
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 23 May 2011 10:49:02 +0000 (10:49 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 23 May 2011 10:49:02 +0000 (10:49 +0000)
commit4e89ae4ac9b001c0479d68d9f74fe81fca6ecd2d
treeccb8c499e44f5bbdfa86055313624c21a9edef6a
parent76058a686dc58780de9ce8915ece239014bb2ff5
...
matitaB/components/content_pres/cicNotationParser.ml
matitaB/components/content_pres/cicNotationPres.ml
matitaB/components/content_pres/termContentPres.ml
matitaB/components/ng_cic_content/interpretations.ml
matitaB/matita/applyTransformation.ml
matitaB/matita/cicMathView.ml