]> matita.cs.unibo.it Git - helm.git/commit
some hacks to make the sequent window pretty nice
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 May 2005 15:21:32 +0000 (15:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 May 2005 15:21:32 +0000 (15:21 +0000)
commit157f12c3cb9cc4ed5ba9d1e46c64a593c7fd9481
tree3a1fb4764ee8e951780222a6ede8546f2763c726
parente6023677f34f426d32a1bdbe391978ea7f7c44f6
some hacks to make the sequent window pretty nice
helm/ocaml/cic_transformations/sequent2pres.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAstPp.ml
helm/ocaml/cic_transformations/tacticAstPp.mli