]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6240d9) | patch
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)
commita8623bff9e8d62d1fd4015b899ec4f4d2425ae1a
tree5bfb8af9efca15dde72ee8059c28effabab96049tree | snapshot
parentb6240d9c5094e87bb2a5aa9952237a698a0b1bcbcommit | diff
utf8 changed to UTF-8 for compatibility with IExplorer
daemons/on-line/xslt/getParam.xsl diff | blob | history
daemons/on-line/xslt/ls2theory.xsl diff | blob | history
daemons/on-line/xslt/makeGraphLinks.xsl diff | blob | history
daemons/on-line/xslt/metadataControl.xsl diff | blob | history
daemons/on-line/xslt/substKey.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.