]> 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: ee3f2aa) | patch
"include" command implemented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 10:38:32 +0000 (10:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 10:38:32 +0000 (10:38 +0000)
commitb6101c89b49ad1df07df62ec661c8b30bda99a2a
treec9cccc11aac7d2e3e1d833c1f0d2b0a7fe97db31tree | snapshot
parentee3f2aa5b78aa77555e5e81d5a2d92501889649ecommit | diff
"include" command implemented.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
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.