]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 579125f) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 26 Jan 2001 14:10:50 +0000 (14:10 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 26 Jan 2001 14:10:50 +0000 (14:10 +0000)
commit7ab23379f84c1b1b999a359830d333fc2925bb58
treeaa5c074f72b713171bdab709443f338110f28576tree | snapshot
parent579125fc2d6b5573f287c6901c8c4f7265a1e2e5commit | diff
Modified Files:
1) mmlextension.xsl: <m:mo helm:xref="m:in/@helm:xref"> lacks {} !
2) reals.xsl: added definitionURL and helm:xref to the limit (limit1_in)
and moved helm:xref into <m:minus> of Rinv.con
helm/style/mmlextension.xsl diff | blob | history
helm/style/reals.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.