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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 12 Nov 2014 21:47:20 +0000 (21:47 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 12 Nov 2014 21:47:20 +0000 (21:47 +0000)
commit	f72311aa07e71090a24eef9e4fb97cc2e95e6b16
tree	3b8539d5a979c46b5b211133a8115f6d29d0c5ea	tree \| snapshot
parent	aaafdf833247fc188049ab519d734d92f7e03333	commit \| diff

new message reporting system improves performance significatively

26 files changed:

helm/software/helena/.depend.opt		diff \| blob \| history
helm/software/helena/Makefile		diff \| blob \| history
helm/software/helena/src/automath/autLexer.mll		diff \| blob \| history
helm/software/helena/src/automath/autOutput.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/bagReduction.mli		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.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagUntrusted.mli		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/brgUntrusted.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgValidity.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/crgOutput.ml		diff \| blob \| history
helm/software/helena/src/lib/log.ml		diff \| blob \| history
helm/software/helena/src/lib/log.mli		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/txtLexer.mll		diff \| blob \| history
helm/software/helena/src/toplevel/top.ml		diff \| blob \| history

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

RSS Atom