]> matita.cs.unibo.it Git - helm.git/commit
λδ site update
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 9 Dec 2020 16:50:31 +0000 (17:50 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 9 Dec 2020 16:50:31 +0000 (17:50 +0100)
commit614d006be363d2e2bbfdf8eb3c20c8604d278be1
treeb4e0850077f77bb558bf6cb3cf930a34fe5a4590
parent3bc50da0628f7ff190c7d5ba7c3b96a7706eb823
λδ site update

+ old references to ground_2 removed
+ Makefile: bugfix
helm/www/lambdadelta/Makefile
helm/www/lambdadelta/web/home/home.ldw.xml
helm/www/lambdadelta/web/home/specification.ldw.xml
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml
matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl