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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 23 Nov 2014 19:36:06 +0000 (19:36 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 23 Nov 2014 19:36:06 +0000 (19:36 +0000)
commit	977faf4820cd8ff5e2f0a5249161bbb92ae4b097
tree	6811a8bdee463308d7baf154937437c3ea040a83	tree \| snapshot
parent	251534dbf294c645d2121df2d9ce240011fa0c91	commit \| diff

- new attributes system
- new constraints system (starts)
- static disambiguation of Automath unified binders
by degree heuristics (C.E. Brown)
[ grundlagen_2: just 1960 binders out of 47115 remain ambiguous ]
- Makefile: XNLDIR is now relative

39 files changed:

helm/software/helena/.depend.opt		diff \| blob \| history
helm/software/helena/Makefile		diff \| blob \| history
helm/software/helena/src/automath/autCrg.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bag.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/bagSubstitution.mli		diff \| blob \| history
helm/software/helena/src/basic_ag/bagType.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagUntrusted.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/brgOutput.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgReduction.mli		diff \| blob \| history
helm/software/helena/src/basic_rg/brgType.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgUntrusted.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgValidity.ml		diff \| blob \| history
helm/software/helena/src/common/Make		diff \| blob \| history
helm/software/helena/src/common/alpha.ml		diff \| blob \| history
helm/software/helena/src/common/alpha.mli		diff \| blob \| history
helm/software/helena/src/common/ccs.ml		diff \| blob \| history
helm/software/helena/src/common/ccs.mli		diff \| blob \| history
helm/software/helena/src/common/entity.ml		diff \| blob \| history
helm/software/helena/src/common/level.ml		diff \| blob \| history
helm/software/helena/src/common/level.mli		diff \| blob \| history
helm/software/helena/src/common/marks.ml		diff \| blob \| history
helm/software/helena/src/common/marks.mli		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/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/xmlCrg.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