]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc7d293) | patch
more typos
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 May 2012 12:13:49 +0000 (12:13 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 May 2012 12:13:49 +0000 (12:13 +0000)
commitae14e3f084ff70d37842603fa41800641e08b51a
treee79713911dff41ba31018833ac0eb8f9a413c2c1tree | snapshot
parentdc7d29345821b84070bc5d235772c598c10d07c3commit | diff
more typos
matita/matita/lib/basics/lists/list.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.