]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bc50da) | patch
λδ 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
treeb4e0850077f77bb558bf6cb3cf930a34fe5a4590tree | snapshot
parent3bc50da0628f7ff190c7d5ba7c3b96a7706eb823commit | diff
λδ site update

+ old references to ground_2 removed
+ Makefile: bugfix
helm/www/lambdadelta/Makefile diff | blob | history
helm/www/lambdadelta/web/home/home.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/specification.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.