]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 854ca28) | patch
----------------------------------------------------------------------
authorIrene Schena <irene.schena@unibo.it>
Fri, 1 Feb 2002 17:08:31 +0000 (17:08 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 1 Feb 2002 17:08:31 +0000 (17:08 +0000)
commitd88218090d8607c08455ad3f1791441c7b09f49a
treedf67be2ef772df8eaf8c354eef72607603866f99tree | snapshot
parent854ca287626643facb66a9f260f126a8801572c4commit | diff
----------------------------------------------------------------------
Modified Files:
1) arith.xsl mmlctop.xsl-0.14 mmlextension.xsl xslt_index.txt: added
mml presentation for (dis)equalities and new proof elements and some
additions for Algebra elements
Added Files:
2) mmlnotation.xsl: mml presentation notations
----------------------------------------------------------------------
helm/style/arith.xsl diff | blob | history
helm/style/mmlextension.xsl diff | blob | history
helm/style/mmlnotation.xsl [new file with mode: 0644] blob
helm/style/xslt_index.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.