]> matita.cs.unibo.it Git - helm.git/tree - matita/components/content_pres/
notation kind of works
[helm.git] / matita / components / content_pres /
drwxr-xr-x   ..
-rw-r--r-- 2012 .depend
-rw-r--r-- 1972 .depend.opt
-rw-r--r-- 1790 Makefile
-rw-r--r-- 4833 box.ml
-rw-r--r-- 2835 box.mli
-rw-r--r-- 9265 boxPp.ml
-rw-r--r-- 1733 boxPp.mli
-rw-r--r-- 13535 cicNotationLexer.ml
-rw-r--r-- 1392 cicNotationLexer.mli
-rw-r--r-- 31660 cicNotationParser.ml
-rw-r--r-- 2709 cicNotationParser.mli
-rw-r--r-- 16193 cicNotationPres.ml
-rw-r--r-- 1943 cicNotationPres.mli
-rw-r--r-- 38266 content2pres.ml
-rw-r--r-- 1848 content2pres.mli
-rw-r--r-- 7724 content2presMatcher.ml
-rw-r--r-- 1206 content2presMatcher.mli
-rw-r--r-- 9330 mpresentation.ml
-rw-r--r-- 2924 mpresentation.mli
-rw-r--r-- 1784 renderingAttrs.ml
-rw-r--r-- 1982 renderingAttrs.mli
-rw-r--r-- 3947 sequent2pres.ml
-rw-r--r-- 1829 sequent2pres.mli
-rw-r--r-- 25247 termContentPres.ml
-rw-r--r-- 1686 termContentPres.mli