]> matita.cs.unibo.it Git - helm.git/commit
fixed Whelp stuff
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 May 2005 15:24:11 +0000 (15:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 May 2005 15:24:11 +0000 (15:24 +0000)
commitbc36fe01d5465d07ef76c445c83639e341f3eb2a
treee006baff354a5100c162bd6d97a33cf266597679
parent04e940a7826528ae54fdc00f8fabd691450a3016
fixed Whelp stuff
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/content2pres.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAstPp.ml