]> matita.cs.unibo.it Git - helm.git/history - helm/style/mmlctop.xsl-0.14
name fix due to changes in libhttp-ocaml (e.g. s/Http\.Daemon/Http_daemon/)
[helm.git] / helm / style / mmlctop.xsl-0.14
2002-03-06 Irene SchenaModified Files:
2001-11-12 Claudio Sacerdoti... Bug fixed: unbound variable.
2001-11-09 Claudio Sacerdoti... indent="yes" in xsl:output removed to impreve performance.
2001-11-08 Claudio Sacerdoti... The same patch I have applied in the previous commit...
2001-11-08 Claudio Sacerdoti... The patch of Irene to allow MathML presentation inside...
2001-07-24 Irene Schena--------------------------------------------------...
2001-05-04 Irene SchenaModified Files: