]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8caaccf) | patch
* more to do
authorLuca Padovani <luca.padovani@unito.it>
Mon, 6 Jun 2005 08:06:26 +0000 (08:06 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 6 Jun 2005 08:06:26 +0000 (08:06 +0000)
commit5536f021b0712217703d48c1c30c464d28a8ae0e
treee1067b2d2c897ed283d49404db5782cf84a100b9tree | snapshot
parent8caaccfeb66f6a507e5fb3b4b221a360eb5428c8commit | diff
* more to do
helm/ocaml/cic_notation/TODO diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.