]> matita.cs.unibo.it Git - helm.git/tree - helm/style/
added LICENSE
[helm.git] / helm / style /
drwxr-xr-x   ..
-rw-r--r-- 4322 annotatedcont.xsl
-rw-r--r-- 2899 annotatedpres.xsl
-rw-r--r-- 11666 basic.xsl
-rw-r--r-- 14387 content.xsl
-rw-r--r-- 26581 content_to_html.xsl
-rw-r--r-- 10212 html_init.xsl
-rw-r--r-- 9185 html_reals.xsl
-rw-r--r-- 17459 html_set.xsl
-rw-r--r-- 73155 mml2mmlv1_0.xsl
-rw-r--r-- 46381 mmlextension.xsl
-rw-r--r-- 10280 objcontent.xsl
-rw-r--r-- 11474 params.xsl
-rw-r--r-- 13470 proofs.xsl
-rw-r--r-- 11418 reals.xsl
-rw-r--r-- 5302 ricerca.xsl
-rw-r--r-- 3107 rootcontent.xsl
-rw-r--r-- 2717 roottheory.xsl
-rw-r--r-- 19612 set.xsl
drwxr-xr-x - style_prima_del_linguaggio_naturale
-rw-r--r-- 3806 theory_content.xsl
-rw-r--r-- 3077 theory_pres.xsl