]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a17483) | patch
* snapshot
authorLuca Padovani <luca.padovani@unito.it>
Thu, 29 Sep 2005 09:14:02 +0000 (09:14 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 29 Sep 2005 09:14:02 +0000 (09:14 +0000)
commit4a6b34934452db18cf3c1fa6e87c71c9f02d256b
treeee0bae77f48779720c7d19bbd8f4d1d4beac9202tree | snapshot
parent0a17483072707b5a460a6c04571c6ddfc5875ce2commit | diff
* snapshot
helm/ocaml/cic_notation/doc/main.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.