]> matita.cs.unibo.it Git - helm.git/commit
utf8 changed to UTF-8 for compatibility with IExplorer
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 15 Sep 2007 15:18:53 +0000 (15:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 15 Sep 2007 15:18:53 +0000 (15:18 +0000)
commitc64b3d8555e92bd3009a714429d8d641629a3805
tree4dd70c5d68cc4dc442f6173d1f5f256025cd54e4
parentaaa8c2c6ae52b7022a6134a5e59e86324dcf03d0
utf8 changed to UTF-8 for compatibility with IExplorer
helm/software/daemons/on-line/xslt/getParam.xsl
helm/software/daemons/on-line/xslt/ls2theory.xsl
helm/software/daemons/on-line/xslt/makeGraphLinks.xsl
helm/software/daemons/on-line/xslt/metadataControl.xsl
helm/software/daemons/on-line/xslt/substKey.xsl