matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/procedural/Coq/Reals/Rprod.mma

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/procedural/Coq/Reals/Rprod.mma

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 4 Sep 2008 22:28:14 +0000 (22:28 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 4 Sep 2008 22:28:14 +0000 (22:28 +0000)
commit	4dc282b8b71479d45704b414d1a10a27e71752f1
tree	70a6a407012988a1c7fbef003c950e7639f99fac	tree \| snapshot
parent	5796d0d7fdb89f06fecadbdc58541a886dca44cd	commit \| diff

transcript: improved debuugging facilities
orocedural/Coq: we escaped the non-ASCII7 characters

26 files changed:

helm/software/components/binaries/transcript/.depend		diff \| blob \| history
helm/software/components/binaries/transcript/.depend.opt		diff \| blob \| history
helm/software/components/binaries/transcript/Makefile		diff \| blob \| history
helm/software/components/binaries/transcript/grafite.ml		diff \| blob \| history
helm/software/components/binaries/transcript/options.ml	[new file with mode: 0644]	blob
helm/software/components/binaries/transcript/top.ml		diff \| blob \| history
helm/software/components/binaries/transcript/v8Lexer.mll		diff \| blob \| history
helm/software/components/binaries/transcript/v8Parser.mly		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/Bool/Bvector.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/Logic/ClassicalDescription.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/Logic/Eqdep.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/NArith/BinPos.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/NArith/Pnat.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/Reals/RiemannInt.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/Reals/Rprod.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/BinInt.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/Zabs.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/Zbinary.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/Zcompare.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/Zdiv.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/Zmin.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/Znat.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/Zorder.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/ZArith/auxiliary.mma		diff \| blob \| history
helm/software/matita/contribs/procedural/Coq/depends	[new file with mode: 0644]	blob
helm/software/matita/contribs/procedural/Makefile.common		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom