]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c3432b) | patch
* required for the blob icon
authorLuca Padovani <luca.padovani@unito.it>
Thu, 29 Sep 2005 14:42:17 +0000 (14:42 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 29 Sep 2005 14:42:17 +0000 (14:42 +0000)
commit106a8a7fb4390736076d359c71e0522b962429d2
treec77599f5c58675e099155d0a706eebc2838469fetree | snapshot
parent0c3432b87b1bd4636dda94e8db0c2d1e23e0246acommit | diff
* required for the blob icon
helm/ocaml/cic_notation/doc/manfnt.sty [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.