]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b256514) | patch
restated ...
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 3 Oct 2005 10:09:31 +0000 (10:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 3 Oct 2005 10:09:31 +0000 (10:09 +0000)
commitf26b2b816de0744f666a0ab8ee26fa670ad6a1b8
treef1bfe90459de52a3beb87e92dd5c1e2dbde536bctree | snapshot
parentb2565147ddbf4f9c3baf37359ad0f6330903b4f8commit | diff
restated ...
helm/ocaml/tactics/doc/main.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.