]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ed8d2a) | patch
λδ site update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 Jun 2021 14:28:21 +0000 (16:28 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 Jun 2021 14:28:21 +0000 (16:28 +0200)
commitdfa1cda217f6b9a871ecbdd9bc54920f4a78d301
treec19e33d6b20370236152a64e1f2a01c2ccf8b4a3tree | snapshot
parent2ed8d2abcc3b0687141b627061b63350a0b200bdcommit | diff
λδ site update

+ one citation added to home page
+ one bug fixed in xhtbl.ml
+ ome comment added in gcp_cr.ma
helm/www/lambdadelta/web/home/home.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/bin/xhtbl/xhtbl.ml diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/gcp_cr.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.