matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 Nov 2014 19:28:08 +0000 (19:28 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 Nov 2014 19:28:08 +0000 (19:28 +0000)
commit	34e6104ef149e3776d0ab7f0930ae73f0e8de157
tree	1364c3dde3356457d9ebee35cf1cdf81f3c784d3	tree \| snapshot
parent	ac97468f5422efc770316286cb807e3d3245a474	commit \| diff

- bug fix in the static disambiguation of unified binders
allows to disambiguate the whole grundlagen
- 20 incompatibilities are detected (AutQE vs PTS)
- matita validates notion 115
- some refactoring

39 files changed:

helm/software/helena/Make		diff \| blob \| history
helm/software/helena/Makefile		diff \| blob \| history
helm/software/helena/examples/automath/grundlagen_0.aut	[new file with mode: 0644]	blob
helm/software/helena/examples/automath/grundlagen_1.aut	[new file with mode: 0644]	blob
helm/software/helena/examples/automath/grundlagen_2.aut	[new file with mode: 0644]	blob
helm/software/helena/examples/grundlagen/grundlagen_0.aut	[deleted file]	blob \| history
helm/software/helena/examples/grundlagen/grundlagen_1.aut	[deleted file]	blob \| history
helm/software/helena/examples/grundlagen/grundlagen_2.aut	[deleted file]	blob \| history
helm/software/helena/grundlagen_2.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2.ma	[new file with mode: 0644]	blob
helm/software/helena/matita/root	[new file with mode: 0644]	blob
helm/software/helena/root	[deleted file]	blob \| history
helm/software/helena/src/automath/autCrg.ml		diff \| blob \| history
helm/software/helena/src/automath/autOutput.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagCrg.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagEnvironment.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagOutput.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagReduction.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagType.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brg.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgCrg.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgEnvironment.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgGrafite.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgType.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgValidity.ml		diff \| blob \| history
helm/software/helena/src/common/hierarchy.ml		diff \| blob \| history
helm/software/helena/src/common/options.ml		diff \| blob \| history
helm/software/helena/src/common/output.ml		diff \| blob \| history
helm/software/helena/src/common/status.ml		diff \| blob \| history
helm/software/helena/src/complete_rg/crg.ml		diff \| blob \| history
helm/software/helena/src/complete_rg/crgOutput.ml		diff \| blob \| history
helm/software/helena/src/lib/time.ml		diff \| blob \| history
helm/software/helena/src/modules.ml		diff \| blob \| history
helm/software/helena/src/text/txtCrg.ml		diff \| blob \| history
helm/software/helena/src/toplevel/top.ml		diff \| blob \| history
helm/software/helena/src/xml/xmlLibrary.ml		diff \| blob \| history
helm/software/helena/src/xml/xmlLibrary.mli		diff \| blob \| history

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

RSS Atom