]>
-rw-r--r-- | 2596 | annotatedcont.xsl | blob | raw |
-rw-r--r-- | 1173 | annotatedpres.xsl | blob | raw |
-rw-r--r-- | 9363 | basic.xsl | blob | raw |
-rw-r--r-- | 10662 | content.xsl | blob | raw |
-rw-r--r-- | 24848 | content_to_html.xsl | blob | raw |
-rw-r--r-- | 8479 | html_init.xsl | blob | raw |
-rw-r--r-- | 7452 | html_reals.xsl | blob | raw |
-rw-r--r-- | 15726 | html_set.xsl | blob | raw |
-rw-r--r-- | 72367 | mml2mmlv1_0.xsl | blob | raw |
-rw-r--r-- | 43692 | mmlextension.xsl | blob | raw |
-rw-r--r-- | 8314 | objcontent.xsl | blob | raw |
-rw-r--r-- | 6804 | params.xsl | blob | raw |
-rw-r--r-- | 9415 | proofs.xsl | blob | raw |
-rw-r--r-- | 9357 | reals.xsl | blob | raw |
-rw-r--r-- | 3570 | ricerca.xsl | blob | raw |
-rw-r--r-- | 1381 | rootcontent.xsl | blob | raw |
-rw-r--r-- | 991 | roottheory.xsl | blob | raw |
-rw-r--r-- | 17765 | set.xsl | blob | raw |
drwxr-xr-x | - | style_prima_del_linguaggio_naturale | tree |
-rw-r--r-- | 2073 | theory_content.xsl | blob | raw |
-rw-r--r-- | 1351 | theory_pres.xsl | blob | raw |