]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 037b48d) | patch
basic_2_src.tbl was not updated :(
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 9 Mar 2013 22:26:54 +0000 (22:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 9 Mar 2013 22:26:54 +0000 (22:26 +0000)
commit2306f231950c1e85837b6b22a1020e66c92319d7
treea23260e2a9347c9f1b0368a3697282c3a2a1694etree | snapshot
parent037b48dbbc0b4373ad1e43d837ac9158787486efcommit | diff
basic_2_src.tbl was not updated :(
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.