]> matita.cs.unibo.it Git - helm.git/commit
bugfix in uri's: missing "/" added to baseuri's where necessary
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Dec 2012 16:28:54 +0000 (16:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Dec 2012 16:28:54 +0000 (16:28 +0000)
commita255d83ebcb9b700a6f30cbcd109d223fc0d98cb
treee15308efd6aec882ddbb80e6d5f6efd7eb9f394e
parenta8a42ce5976221949b3999446eebc5d5457b81bd
bugfix in uri's: missing "/" added to baseuri's where necessary
23 files changed:
helm/software/helena/Make
helm/software/helena/Makefile
helm/software/helena/Makefile.common
helm/software/helena/src/common/ccs.ml
helm/software/helena/src/common/ccs.mli
helm/software/helena/src/common/options.ml
helm/software/helena/src/xml/xmlLibrary.ml
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/web/home/BTM.ldw.xml
helm/www/lambdadelta/web/home/apps_2.ldw.xml
helm/www/lambdadelta/web/home/basic_2.ldw.xml
helm/www/lambdadelta/xml/ld.dtd
helm/www/lambdadelta/xslt/ld_web_root.xsl
helm/www/lambdadelta/xslt/lddl_entity.xsl
helm/www/lambdadelta/xslt/lddl_library.xsl
helm/www/lambdadelta/xslt/lddl_root.xsl
helm/www/lambdadelta/xslt/lddl_term.xsl