]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c11f4fe) | patch
* first version of the specification
authorLuca Padovani <luca.padovani@unito.it>
Wed, 28 Sep 2005 16:28:30 +0000 (16:28 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 28 Sep 2005 16:28:30 +0000 (16:28 +0000)
commit2d9b039d9b2f1f20fae18e577306ead3b5d2090d
tree3824b2c038a24989f751873976da29cf9bfb3404tree | snapshot
parentc11f4fe10591d568afb410e5d96061448a437254commit | diff
* first version of the specification
helm/ocaml/cic_notation/doc/main.tex [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.