]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 563dafd) | patch
missing ; to delimit syntax :(
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 21 Jun 2011 20:35:04 +0000 (20:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 21 Jun 2011 20:35:04 +0000 (20:35 +0000)
commit052c5c2ca4c5257716ada059fbc723c975428a61
treede92afd7b92ed2f528268e74734add1cf97f7dbatree | snapshot
parent563dafd0155ff31215d3f7b813379fa6d50404f1commit | diff
missing ; to delimit syntax :(
matita/matita/lib/basics/list.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.