]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_transformations/tacticAst.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1db44a3) | patch
More tactics or tactic arguments made available to matita and a bit of code
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 12:24:31 +0000 (12:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 12:24:31 +0000 (12:24 +0000)
commit6e8c7b9234ff7092008384b5e41782eac173aa05
tree769edbcc4c66ae930a6f20bd4e4f3b59043a4bbetree | snapshot
parent1db44a3e28f767afea3b87f21aaeb81c586b1733commit | diff
More tactics or tactic arguments made available to matita and a bit of code
cleanup.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.