]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25577a7) | patch
\lambda\delta version 2A released on Web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 28 Oct 2014 17:04:59 +0000 (17:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 28 Oct 2014 17:04:59 +0000 (17:04 +0000)
commite258362c37ec6d9132ec57bd5e4987d148c10799
treeb432ad77952162f62112e669dadf6cde53b2b950tree | snapshot
parent25577a78cccba09974c91fcbfea770091a413382commit | diff
\lambda\delta version 2A released on Web site
matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.