]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f9165b) | patch
update in apps_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 May 2018 19:59:37 +0000 (21:59 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 May 2018 19:59:37 +0000 (21:59 +0200)
commitfdf7649cd98c08e6153f08ae5831191d9cbf1574
treee6923e40a9a7b0ccdac0cbd478804716d96357d4tree | snapshot
parent4f9165b052ea5e6141da50c7a8294515fe2743decommit | diff
update in apps_2

+ update to web site
helm/www/lambdadelta/web/home/home.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/models/veq.ma diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.