]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81926a2) | patch
starl
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 7 May 2012 06:26:54 +0000 (06:26 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 7 May 2012 06:26:54 +0000 (06:26 +0000)
commit2405e80ecd3a66780ef1d27066a648330aacf1b0
treeb3411f37f2b8024c073158888a2d1ddb2189660btree | snapshot
parent81926a297143f39c5de262a678e60f5aaf0bb13acommit | diff
starl
matita/matita/lib/basics/star.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.