]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24a1ba9) | patch
new semantics, should be the basis for the (re-)implementation
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Oct 2005 12:08:50 +0000 (12:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Oct 2005 12:08:50 +0000 (12:08 +0000)
commit3d5c86473cd2549335e7ee99600b0aaf499ca651
tree7e904138e73fde8d89299237da004b0445a8f945tree | snapshot
parent24a1ba93b3894d03eeb212fdd077b0712a8e1947commit | diff
new semantics, should be the basis for the (re-)implementation
helm/ocaml/tactics/doc/Makefile diff | blob | history
helm/ocaml/tactics/doc/main.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.