]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/procedural/Coq/Reals/Rprod.mma
transcript: improved debuugging facilities
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Sep 2008 22:28:14 +0000 (22:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Sep 2008 22:28:14 +0000 (22:28 +0000)
commit4dc282b8b71479d45704b414d1a10a27e71752f1
tree70a6a407012988a1c7fbef003c950e7639f99fac
parent5796d0d7fdb89f06fecadbdc58541a886dca44cd
transcript: improved debuugging facilities
orocedural/Coq: we escaped the non-ASCII7 characters
26 files changed:
helm/software/components/binaries/transcript/.depend
helm/software/components/binaries/transcript/.depend.opt
helm/software/components/binaries/transcript/Makefile
helm/software/components/binaries/transcript/grafite.ml
helm/software/components/binaries/transcript/options.ml [new file with mode: 0644]
helm/software/components/binaries/transcript/top.ml
helm/software/components/binaries/transcript/v8Lexer.mll
helm/software/components/binaries/transcript/v8Parser.mly
helm/software/matita/contribs/procedural/Coq/Bool/Bvector.mma
helm/software/matita/contribs/procedural/Coq/Logic/ClassicalDescription.mma
helm/software/matita/contribs/procedural/Coq/Logic/Eqdep.mma
helm/software/matita/contribs/procedural/Coq/NArith/BinPos.mma
helm/software/matita/contribs/procedural/Coq/NArith/Pnat.mma
helm/software/matita/contribs/procedural/Coq/Reals/RiemannInt.mma
helm/software/matita/contribs/procedural/Coq/Reals/Rprod.mma
helm/software/matita/contribs/procedural/Coq/ZArith/BinInt.mma
helm/software/matita/contribs/procedural/Coq/ZArith/Zabs.mma
helm/software/matita/contribs/procedural/Coq/ZArith/Zbinary.mma
helm/software/matita/contribs/procedural/Coq/ZArith/Zcompare.mma
helm/software/matita/contribs/procedural/Coq/ZArith/Zdiv.mma
helm/software/matita/contribs/procedural/Coq/ZArith/Zmin.mma
helm/software/matita/contribs/procedural/Coq/ZArith/Znat.mma
helm/software/matita/contribs/procedural/Coq/ZArith/Zorder.mma
helm/software/matita/contribs/procedural/Coq/ZArith/auxiliary.mma
helm/software/matita/contribs/procedural/Coq/depends [new file with mode: 0644]
helm/software/matita/contribs/procedural/Makefile.common