]> matita.cs.unibo.it Git - helm.git/tree - matita/components/content_pres/
cicNotation* ==> notation*
[helm.git] / matita / components / content_pres /
drwxr-xr-x   ..
-rw-r--r-- 1972 .depend
-rw-r--r-- 1972 .depend.opt
-rw-r--r-- 1970 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-- 14768 cicNotationLexer.ml
-rw-r--r-- 1820 cicNotationLexer.mli
-rw-r--r-- 31226 cicNotationParser.ml
-rw-r--r-- 2487 cicNotationParser.mli
-rw-r--r-- 16187 cicNotationPres.ml
-rw-r--r-- 1887 cicNotationPres.mli
-rw-r--r-- 38773 content2pres.ml
-rw-r--r-- 1821 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-- 3933 sequent2pres.ml
-rw-r--r-- 1801 sequent2pres.mli
-rw-r--r-- 25018 termContentPres.ml
-rw-r--r-- 1628 termContentPres.mli
-rw-r--r-- 2140 test_lexer.ml