]> matita.cs.unibo.it Git - helm.git/tree - helm/software/components/content_pres/
hbox => hvbox in constructor arguments in match patterns.
[helm.git] / helm / software / components / content_pres /
drwxr-xr-x   ..
-rw-r--r-- 1848 .depend
-rw-r--r-- 1848 .depend.opt
-rw-r--r-- 1970 Makefile
-rw-r--r-- 4833 box.ml
-rw-r--r-- 2835 box.mli
-rw-r--r-- 9121 boxPp.ml
-rw-r--r-- 1733 boxPp.mli
-rw-r--r-- 12800 cicNotationLexer.ml
-rw-r--r-- 1831 cicNotationLexer.mli
-rw-r--r-- 27520 cicNotationParser.ml
-rw-r--r-- 2376 cicNotationParser.mli
-rw-r--r-- 15680 cicNotationPres.ml
-rw-r--r-- 1811 cicNotationPres.mli
-rw-r--r-- 36437 content2pres.ml
-rw-r--r-- 1808 content2pres.mli
-rw-r--r-- 7605 content2presMatcher.ml
-rw-r--r-- 1218 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-- 3906 sequent2pres.ml
-rw-r--r-- 1765 sequent2pres.mli
-rw-r--r-- 23861 termContentPres.ml
-rw-r--r-- 1670 termContentPres.mli
-rw-r--r-- 2131 test_lexer.ml