]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ef2513) | patch
- first working commit of the static component ..
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 12 Apr 2016 14:27:22 +0000 (14:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 12 Apr 2016 14:27:22 +0000 (14:27 +0000)
commitd2e0a33c75842a10574ef904097803e02571536c
treecada59cb30ba0a5616a7e1a6772d194f13a1d00atree | snapshot
parent3ef251397627da80aeea0cf08b053a4bc781ef88commit | diff
- first working commit of the static component ..
- updates on some web pages
matita/matita/contribs/BTM/web/BTM.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_lsuba.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.