]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba7b855) | patch
new web site page
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Sep 2019 16:36:13 +0000 (18:36 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Sep 2019 16:36:13 +0000 (18:36 +0200)
commit9554ed555d9c744d7dfb787ccdaa6fc63eb6ba10
treec3c4ba8b1c50793489e12e56703948335a935641tree | snapshot
parentba7b8553850e4a33cf8607b07758392230d9ed40commit | diff
new web site page

change log for λδ begins
.gitignore diff | blob | history
helm/www/lambdadelta/alt.sh [new file with mode: 0644] blob
helm/www/lambdadelta/web/home/changes.ldw.xml [new file with mode: 0644] blob
helm/www/lambdadelta/web/home/changes.tbl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.