]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e89486c) | patch
- moved command as sub-entries of tactical grammars (as per tactics)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Apr 2004 09:24:49 +0000 (09:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Apr 2004 09:24:49 +0000 (09:24 +0000)
commit7a72e5c5129c814e567f03e14d752eff4086fb52
treec7c1d86fc91e8827763a2d79a1d0bd9d74a67b28tree | snapshot
parente89486cad653803954662a5e543537acd49a866fcommit | diff
- moved command as sub-entries of tactical grammars (as per tactics)
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_disambiguation/cicTextualParser2.mli diff | blob | history
helm/ocaml/cic_disambiguation/disambiguateTypes.ml diff | blob | history
helm/ocaml/cic_disambiguation/disambiguateTypes.mli diff | blob | history
helm/ocaml/cic_disambiguation/test_parser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.