]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42c5bab) | patch
todo list about doc
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 May 2006 04:29:40 +0000 (04:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 May 2006 04:29:40 +0000 (04:29 +0000)
commit4926e2cd832f94c75dc5354619f37e4f24ad4853
treea0472849ecf3ee02306fa0613b16c8b8e7d76df4tree | snapshot
parent42c5babd94414751f603a3a068ba1bfa45a2cbd2commit | diff
todo list about doc
matita/help/C/TODO [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.