]> matita.cs.unibo.it Git - helm.git/commit
Simplified rendering
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 08:42:04 +0000 (08:42 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 08:42:04 +0000 (08:42 +0000)
commitd206219b4b193feeebaa25bea70bc8ec153777e5
tree28e0df677ec1e2b513f475d8bce8d74cc32f7cd6
parent18e12fae4268ea37c34f0e40186cb9d0ceeadf1e
Simplified rendering
matitaB/components/content_pres/.depend
matitaB/components/content_pres/Makefile
matitaB/components/content_pres/box.ml
matitaB/components/content_pres/box.mli
matitaB/components/content_pres/boxPp.ml
matitaB/components/content_pres/boxPp.mli
matitaB/components/content_pres/cicNotationPres.ml
matitaB/components/content_pres/cicNotationPres.mli