matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 1 Dec 2012 19:37:15 +0000 (19:37 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 1 Dec 2012 19:37:15 +0000 (19:37 +0000)
commit	207a37632296335aa8db7b22482f91634f74e4e1
tree	0662f7330da7710931e9773a14afd0d9d62ab0df	tree \| snapshot
parent	691c330235597faab8ad7be34242bc545d4c4023	commit \| diff

old lambdadelta home page is dismissed

74 files changed:

helm/www/lambda_delta/BTM.html	[deleted file]	blob \| history
helm/www/lambda_delta/Makefile	[deleted file]	blob \| history
helm/www/lambda_delta/apps_2.html	[deleted file]	blob \| history
helm/www/lambda_delta/basic_2.html	[deleted file]	blob \| history
helm/www/lambda_delta/bin/a.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/Makefile	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/Makefile.common	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/css.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/fold.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/matrix.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/options.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/pass1.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/pass2.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/pass3.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/table.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/textLexer.mll	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/textParser.mly	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/textUnparser.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/xhtbl.ml	[deleted file]	blob \| history
helm/www/lambda_delta/bin/xhtbl/xmlUnparser.ml	[deleted file]	blob \| history
helm/www/lambda_delta/css/ld_web.css	[deleted file]	blob \| history
helm/www/lambda_delta/css/lddl.css	[deleted file]	blob \| history
helm/www/lambda_delta/css/xhtbl.css	[deleted file]	blob \| history
helm/www/lambda_delta/documentation.html	[deleted file]	blob \| history
helm/www/lambda_delta/download/automath.sl	[deleted file]	blob \| history
helm/www/lambda_delta/download/cie_2007.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/cie_2010.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/helena.sl	[deleted file]	blob \| history
helm/www/lambda_delta/download/helena_0.8.0.tar.gz	[deleted file]	blob \| history
helm/www/lambda_delta/download/helena_0.8.1.tar.gz	[deleted file]	blob \| history
helm/www/lambda_delta/download/lambda_delta.bib	[deleted file]	blob \| history
helm/www/lambda_delta/download/lambda_delta.txt	[deleted file]	blob \| history
helm/www/lambda_delta/download/lambda_delta_1.tar.gz	[deleted file]	blob \| history
helm/www/lambda_delta/download/ld_talk_1s.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/ld_talk_2s.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/ld_talk_3s.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/ld_talk_4s.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/ld_talk_5s.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/ld_talk_6s.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/ld_talk_7s.pdf	[deleted file]	blob \| history
helm/www/lambda_delta/download/lddl.tar.bz2	[deleted file]	blob \| history
helm/www/lambda_delta/images/PNGnow2.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/b3.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/b4.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/b5.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/b9.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/basic_32.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/crux_16.ico	[deleted file]	blob \| history
helm/www/lambda_delta/images/crux_177.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/crux_177.xcf	[deleted file]	blob \| history
helm/www/lambda_delta/images/crux_32.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/globe_trans.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/helena_32.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/helena_label.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/rainbow.png	[deleted file]	blob \| history
helm/www/lambda_delta/images/xml_xsl2.png	[deleted file]	blob \| history
helm/www/lambda_delta/implementation.html	[deleted file]	blob \| history
helm/www/lambda_delta/index.html	[deleted file]	blob \| history
helm/www/lambda_delta/news.html	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/BTM.ldw.xml	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/apps_2.ldw.xml	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/apps_2_src.tbl	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/basic_2.ldw.xml	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/basic_2_blk.tbl	[deleted file]	blob \| history
helm/www/lambda_delta/web/home/basic_2_src.tbl	[deleted file]	blob \| history
helm/www/lambda_delta/xml/ld.dtd	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/ld_web.xsl	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/ld_web_library.xsl	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/ld_web_root.xsl	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/lddl.xsl	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/lddl_entity.xsl	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/lddl_library.xsl	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/lddl_root.xsl	[deleted file]	blob \| history
helm/www/lambda_delta/xslt/lddl_term.xsl	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom