]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eae50cc) | patch
planned dehyphenation of lambdadelta eventually took place!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 1 Dec 2012 17:01:11 +0000 (17:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 1 Dec 2012 17:01:11 +0000 (17:01 +0000)
commit2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80
tree7745f996e7b1d3ff80d989a12b5a5ea0328e8360tree | snapshot
parenteae50cc815292d335df1c488a00b39ef98fa5870commit | diff
planned dehyphenation of lambdadelta eventually took place!
74 files changed:
helm/www/lambdadelta/BTM.html [new file with mode: 0644] blob
helm/www/lambdadelta/Makefile [new file with mode: 0644] blob
helm/www/lambdadelta/apps_2.html [new file with mode: 0644] blob
helm/www/lambdadelta/basic_2.html [new file with mode: 0644] blob
helm/www/lambdadelta/bin/a.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/Makefile [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/Makefile.common [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/css.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/fold.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/matrix.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/options.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/pass1.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/pass2.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/pass3.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/table.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/textLexer.mll [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/textParser.mly [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/textUnparser.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/xhtbl.ml [new file with mode: 0644] blob
helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml [new file with mode: 0644] blob
helm/www/lambdadelta/css/ld_web.css [new file with mode: 0644] blob
helm/www/lambdadelta/css/lddl.css [new file with mode: 0644] blob
helm/www/lambdadelta/css/xhtbl.css [new file with mode: 0644] blob
helm/www/lambdadelta/documentation.html [new file with mode: 0644] blob
helm/www/lambdadelta/download/automath.sl [new file with mode: 0644] blob
helm/www/lambdadelta/download/cie_2007.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/cie_2010.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/helena.sl [new file with mode: 0644] blob
helm/www/lambdadelta/download/helena_0.8.0.tar.gz [new file with mode: 0644] blob
helm/www/lambdadelta/download/helena_0.8.1.tar.gz [new file with mode: 0644] blob
helm/www/lambdadelta/download/lambdadelta.bib [new file with mode: 0644] blob
helm/www/lambdadelta/download/lambdadelta.txt [new file with mode: 0644] blob
helm/www/lambdadelta/download/lambdadelta_1.tar.gz [new file with mode: 0644] blob
helm/www/lambdadelta/download/ld_talk_1s.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/ld_talk_2s.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/ld_talk_3s.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/ld_talk_4s.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/ld_talk_5s.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/ld_talk_6s.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/ld_talk_7s.pdf [new file with mode: 0644] blob
helm/www/lambdadelta/download/lddl.tar.bz2 [new file with mode: 0644] blob
helm/www/lambdadelta/images/PNGnow2.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/b3.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/b4.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/b5.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/b9.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/basic_32.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/crux_16.ico [new file with mode: 0644] blob
helm/www/lambdadelta/images/crux_177.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/crux_177.xcf [new file with mode: 0644] blob
helm/www/lambdadelta/images/crux_32.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/globe_trans.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/helena_32.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/helena_label.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/rainbow.png [new file with mode: 0644] blob
helm/www/lambdadelta/images/xml_xsl2.png [new file with mode: 0644] blob
helm/www/lambdadelta/implementation.html [new file with mode: 0644] blob
helm/www/lambdadelta/index.html [new file with mode: 0644] blob
helm/www/lambdadelta/news.html [new file with mode: 0644] blob
helm/www/lambdadelta/web/home/BTM.ldw.xml [new file with mode: 0644] blob
helm/www/lambdadelta/web/home/apps_2.ldw.xml [new file with mode: 0644] blob
helm/www/lambdadelta/web/home/apps_2_src.tbl [new file with mode: 0644] blob
helm/www/lambdadelta/web/home/basic_2.ldw.xml [new file with mode: 0644] blob
helm/www/lambdadelta/web/home/basic_2_blk.tbl [new file with mode: 0644] blob
helm/www/lambdadelta/web/home/basic_2_src.tbl [new file with mode: 0644] blob
helm/www/lambdadelta/xml/ld.dtd [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/ld_web.xsl [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/ld_web_library.xsl [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/ld_web_root.xsl [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/lddl.xsl [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/lddl_entity.xsl [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/lddl_library.xsl [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/lddl_root.xsl [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/lddl_term.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.