]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a0dc83) | patch
updated web site
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 19 Dec 2019 16:16:44 +0000 (17:16 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 19 Dec 2019 16:16:44 +0000 (17:16 +0100)
commit1aca50505c3ce6c76dd7d20d00e358707caffd4a
tree688333d7e669700a657a6f2174d39c77705d6210tree | snapshot
parent9a0dc83131e9695ffd4254ff5546817ca431d8c2commit | diff
updated web site

+ updated change log
+ updated site generation procedure
helm/www/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/web/changes.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.