]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdb85e8) | patch
λδ web site update
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 6 Dec 2019 21:10:54 +0000 (22:10 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 6 Dec 2019 21:10:54 +0000 (22:10 +0100)
commita82d87a4c2ff9f518385fba7357dafb632a22882
treea9672880c43f3bb172011c418634b10c41a6029ftree | snapshot
parentcdb85e803cd6038352ec0a318285f96f42faf02dcommit | diff
λδ web site update

+ changes of λδ-2A vs λδ-1A completed
+ log page linked to site
helm/www/lambdadelta/web/home/changes.ldw.xml [deleted file] blob | history
helm/www/lambdadelta/web/home/changes.tbl [deleted file] blob | history
helm/www/lambdadelta/web/home/home.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/sitemap.tbl diff | blob | history
helm/www/lambdadelta/web/home/specification.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/web/changes.ldw.xml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/web/changes.tbl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.