]> matita.cs.unibo.it Git - helm.git/commit
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
treedc53459083279f8e465346ff9ce0e1d3c3274c5d
parent2a7513fe61fec55f0608728b31ac5f513923de6c
added a couple of todo items
helm/papers/matita/matita2.tex