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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 14 Dec 2014 19:17:51 +0000 (19:17 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 14 Dec 2014 19:17:51 +0000 (19:17 +0000)
commit	bbc1c6ccb596693c46f4d75d7875b94c79f1d575
tree	fa7bbeb7aee21ccd4098be431c0d3fbc7cfc442e	tree \| snapshot
parent	30eb28f8c35d7667b3a0052c30d2750a492fa464	commit \| diff

- we are moving from old (patched) management of sort inclusion
to new (proper) one via \lambda\delta 3
- some refactoring
- omega.out: committed for reference
- Makefiles: some bugs fixed

46 files changed:

helm/software/helena/.depend.opt		diff \| blob \| history
helm/software/helena/Makefile		diff \| blob \| history
helm/software/helena/Makefile.common		diff \| blob \| history
helm/software/helena/examples/automath/omega.aut	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autCrg.ml		diff \| blob \| history
helm/software/helena/src/automath/autCrg.mli		diff \| blob \| history
helm/software/helena/src/basic_ag/bagCrg.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagCrg.mli		diff \| blob \| history
helm/software/helena/src/basic_ag/bagOutput.mli		diff \| blob \| history
helm/software/helena/src/basic_ag/bagReduction.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagReduction.mli		diff \| blob \| history
helm/software/helena/src/basic_ag/bagSubstitution.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagType.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagType.mli		diff \| blob \| history
helm/software/helena/src/basic_ag/bagUntrusted.mli		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/brgGrafite.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgGrafite.mli		diff \| blob \| history
helm/software/helena/src/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgOutput.mli		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/brgType.mli		diff \| blob \| history
helm/software/helena/src/basic_rg/brgUntrusted.mli		diff \| blob \| history
helm/software/helena/src/basic_rg/brgValidity.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgValidity.mli		diff \| blob \| history
helm/software/helena/src/common/Make		diff \| blob \| history
helm/software/helena/src/common/entity.ml		diff \| blob \| history
helm/software/helena/src/common/layer.ml	[new file with mode: 0644]	blob
helm/software/helena/src/common/layer.mli	[new file with mode: 0644]	blob
helm/software/helena/src/common/level.ml	[deleted file]	blob \| history
helm/software/helena/src/common/level.mli	[deleted file]	blob \| history
helm/software/helena/src/common/status.ml	[deleted file]	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/complete_rg/crgOutput.mli		diff \| blob \| history
helm/software/helena/src/modules.ml		diff \| blob \| history
helm/software/helena/src/text/txt.ml		diff \| blob \| history
helm/software/helena/src/text/txtParser.mly		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/xmlCrg.mli		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