]> matita.cs.unibo.it Git - helm.git/tree - helm/style/
Some optimizations using the "sort" attribute.
[helm.git] / helm / style /
drwxr-xr-x   ..
-rw-r--r-- 2596 annotatedcont.xsl
-rw-r--r-- 1173 annotatedpres.xsl
-rw-r--r-- 9940 basic.xsl
-rw-r--r-- 12519 content.xsl
-rw-r--r-- 24855 content_to_html.xsl
-rw-r--r-- 8486 html_init.xsl
-rw-r--r-- 7459 html_reals.xsl
-rw-r--r-- 15733 html_set.xsl
-rw-r--r-- 73155 mml2mmlv1_0.xsl
-rw-r--r-- 44655 mmlextension.xsl
-rw-r--r-- 8542 objcontent.xsl
-rw-r--r-- 9748 params.xsl
-rw-r--r-- 10011 proofs.xsl
-rw-r--r-- 9692 reals.xsl
-rw-r--r-- 3577 ricerca.xsl
-rw-r--r-- 1381 rootcontent.xsl
-rw-r--r-- 991 roottheory.xsl
-rw-r--r-- 17886 set.xsl
drwxr-xr-x - style_prima_del_linguaggio_naturale
-rw-r--r-- 2080 theory_content.xsl
-rw-r--r-- 1351 theory_pres.xsl