]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf6144a) | patch
* added todo file
authorLuca Padovani <luca.padovani@unito.it>
Sun, 5 Jun 2005 12:32:35 +0000 (12:32 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sun, 5 Jun 2005 12:32:35 +0000 (12:32 +0000)
commit8caaccfeb66f6a507e5fb3b4b221a360eb5428c8
treeaa995566eaf231e7615e94189cc96377cc66c5e8tree | snapshot
parentbf6144a808a16d4e576e56593bbcd63b8db5fe4ccommit | diff
* added todo file
helm/ocaml/cic_notation/TODO [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.