]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_transformations/tacticAstPp.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff60a35) | patch
added search commands
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 16:05:23 +0000 (16:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 16:05:23 +0000 (16:05 +0000)
commit9701a8bee17d66e49a5cff28dc62963c54fadc6b
tree6ff8e59fa102a7b547516a3ba88daa7e948a2ef4tree | snapshot
parentff60a35b223f5b49d7e00c6e412d9328503e1c5acommit | diff
added search commands
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.