]> matita.cs.unibo.it Git - helm.git/commit
old lambdadelta home page is dismissed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 1 Dec 2012 19:37:15 +0000 (19:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 1 Dec 2012 19:37:15 +0000 (19:37 +0000)
commit207a37632296335aa8db7b22482f91634f74e4e1
tree0662f7330da7710931e9773a14afd0d9d62ab0df
parent691c330235597faab8ad7be34242bc545d4c4023
old lambdadelta home page is dismissed
74 files changed:
helm/www/lambda_delta/BTM.html [deleted file]
helm/www/lambda_delta/Makefile [deleted file]
helm/www/lambda_delta/apps_2.html [deleted file]
helm/www/lambda_delta/basic_2.html [deleted file]
helm/www/lambda_delta/bin/a.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/Makefile [deleted file]
helm/www/lambda_delta/bin/xhtbl/Makefile.common [deleted file]
helm/www/lambda_delta/bin/xhtbl/css.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/fold.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/matrix.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/options.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/pass1.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/pass2.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/pass3.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/table.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/textLexer.mll [deleted file]
helm/www/lambda_delta/bin/xhtbl/textParser.mly [deleted file]
helm/www/lambda_delta/bin/xhtbl/textUnparser.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/xhtbl.ml [deleted file]
helm/www/lambda_delta/bin/xhtbl/xmlUnparser.ml [deleted file]
helm/www/lambda_delta/css/ld_web.css [deleted file]
helm/www/lambda_delta/css/lddl.css [deleted file]
helm/www/lambda_delta/css/xhtbl.css [deleted file]
helm/www/lambda_delta/documentation.html [deleted file]
helm/www/lambda_delta/download/automath.sl [deleted file]
helm/www/lambda_delta/download/cie_2007.pdf [deleted file]
helm/www/lambda_delta/download/cie_2010.pdf [deleted file]
helm/www/lambda_delta/download/helena.sl [deleted file]
helm/www/lambda_delta/download/helena_0.8.0.tar.gz [deleted file]
helm/www/lambda_delta/download/helena_0.8.1.tar.gz [deleted file]
helm/www/lambda_delta/download/lambda_delta.bib [deleted file]
helm/www/lambda_delta/download/lambda_delta.txt [deleted file]
helm/www/lambda_delta/download/lambda_delta_1.tar.gz [deleted file]
helm/www/lambda_delta/download/ld_talk_1s.pdf [deleted file]
helm/www/lambda_delta/download/ld_talk_2s.pdf [deleted file]
helm/www/lambda_delta/download/ld_talk_3s.pdf [deleted file]
helm/www/lambda_delta/download/ld_talk_4s.pdf [deleted file]
helm/www/lambda_delta/download/ld_talk_5s.pdf [deleted file]
helm/www/lambda_delta/download/ld_talk_6s.pdf [deleted file]
helm/www/lambda_delta/download/ld_talk_7s.pdf [deleted file]
helm/www/lambda_delta/download/lddl.tar.bz2 [deleted file]
helm/www/lambda_delta/images/PNGnow2.png [deleted file]
helm/www/lambda_delta/images/b3.png [deleted file]
helm/www/lambda_delta/images/b4.png [deleted file]
helm/www/lambda_delta/images/b5.png [deleted file]
helm/www/lambda_delta/images/b9.png [deleted file]
helm/www/lambda_delta/images/basic_32.png [deleted file]
helm/www/lambda_delta/images/crux_16.ico [deleted file]
helm/www/lambda_delta/images/crux_177.png [deleted file]
helm/www/lambda_delta/images/crux_177.xcf [deleted file]
helm/www/lambda_delta/images/crux_32.png [deleted file]
helm/www/lambda_delta/images/globe_trans.png [deleted file]
helm/www/lambda_delta/images/helena_32.png [deleted file]
helm/www/lambda_delta/images/helena_label.png [deleted file]
helm/www/lambda_delta/images/rainbow.png [deleted file]
helm/www/lambda_delta/images/xml_xsl2.png [deleted file]
helm/www/lambda_delta/implementation.html [deleted file]
helm/www/lambda_delta/index.html [deleted file]
helm/www/lambda_delta/news.html [deleted file]
helm/www/lambda_delta/web/home/BTM.ldw.xml [deleted file]
helm/www/lambda_delta/web/home/apps_2.ldw.xml [deleted file]
helm/www/lambda_delta/web/home/apps_2_src.tbl [deleted file]
helm/www/lambda_delta/web/home/basic_2.ldw.xml [deleted file]
helm/www/lambda_delta/web/home/basic_2_blk.tbl [deleted file]
helm/www/lambda_delta/web/home/basic_2_src.tbl [deleted file]
helm/www/lambda_delta/xml/ld.dtd [deleted file]
helm/www/lambda_delta/xslt/ld_web.xsl [deleted file]
helm/www/lambda_delta/xslt/ld_web_library.xsl [deleted file]
helm/www/lambda_delta/xslt/ld_web_root.xsl [deleted file]
helm/www/lambda_delta/xslt/lddl.xsl [deleted file]
helm/www/lambda_delta/xslt/lddl_entity.xsl [deleted file]
helm/www/lambda_delta/xslt/lddl_library.xsl [deleted file]
helm/www/lambda_delta/xslt/lddl_root.xsl [deleted file]
helm/www/lambda_delta/xslt/lddl_term.xsl [deleted file]