]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df29caf) | patch
factorized tacticals separator and terminator
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:52:22 +0000 (15:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:52:22 +0000 (15:52 +0000)
commit9983d0f08f594ddc01700c972d2a2c0f47d32d59
tree5e7eee8bfd6d43f545d1719f03e51ef20e5103cftree | snapshot
parentdf29cafb872244de1a6a9b3c273b329a6e15fa8ccommit | diff
factorized tacticals separator and terminator
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.