]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc20d16) | patch
update in basic_2, static_2, web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 5 Nov 2018 19:38:52 +0000 (20:38 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 5 Nov 2018 19:38:52 +0000 (20:38 +0100)
commit3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8
tree47ca9ffc4d4a67c9f40841a5ad6adc6a22723268tree | snapshot
parentdc20d16b32940a94d29a04de0d4fe1f80e00a73fcommit | diff
update in basic_2, static_2, web site

+ bug fix and first results on cpce
+ crux favicon for web site is now 32x32
+ some auxiliary files for web site committed/rearranged
24 files changed:
helm/www/lambdadelta/Makefile diff | blob | history
helm/www/lambdadelta/css/wanda.css [new file with mode: 0644] blob
helm/www/lambdadelta/images/crux_177.xcf [deleted file] blob | history
helm/www/lambdadelta/images/crux_32.ico [new file with mode: 0644] blob
helm/www/lambdadelta/images/osn_32.xcf [deleted file] blob | history
helm/www/lambdadelta/images/osn_label.xcf [deleted file] blob | history
helm/www/lambdadelta/images/smile.xcf [deleted file] blob | history
helm/www/lambdadelta/images/wanda_32.ico [new file with mode: 0644] blob
helm/www/lambdadelta/xcf/crux_177.xcf [new file with mode: 0644] blob
helm/www/lambdadelta/xcf/helena_label.xcf [new file with mode: 0644] blob
helm/www/lambdadelta/xcf/osn_32.xcf [new file with mode: 0644] blob
helm/www/lambdadelta/xcf/osn_label.xcf [new file with mode: 0644] blob
helm/www/lambdadelta/xcf/smile.xcf [new file with mode: 0644] blob
helm/www/lambdadelta/xcf/wanda_32.xcf [new file with mode: 0644] blob
helm/www/lambdadelta/xslt/ld_web_root.xsl diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconveta_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_2_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_2_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml diff | blob | history
matita/matita/contribs/lambdadelta/static_2/notation/relations/pconveta_4.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/static_2/static/cpce.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.