]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a7513f) | patch
added a couple of todo items
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jan 2006 17:28:13 +0000 (17:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jan 2006 17:28:13 +0000 (17:28 +0000)
commitcb15c06772df8e953df0ed3b1d9c1a41d189f461
treedc53459083279f8e465346ff9ce0e1d3c3274c5dtree | snapshot
parent2a7513fe61fec55f0608728b31ac5f513923de6ccommit | diff
added a couple of todo items
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.