]> matita.cs.unibo.it Git - helm.git/commit
new message reporting system improves performance significatively
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 12 Nov 2014 21:47:20 +0000 (21:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 12 Nov 2014 21:47:20 +0000 (21:47 +0000)
commitf72311aa07e71090a24eef9e4fb97cc2e95e6b16
tree3b8539d5a979c46b5b211133a8115f6d29d0c5ea
parentaaafdf833247fc188049ab519d734d92f7e03333
new message reporting system improves performance significatively
26 files changed:
helm/software/helena/.depend.opt
helm/software/helena/Makefile
helm/software/helena/src/automath/autLexer.mll
helm/software/helena/src/automath/autOutput.ml
helm/software/helena/src/basic_ag/bagOutput.ml
helm/software/helena/src/basic_ag/bagReduction.ml
helm/software/helena/src/basic_ag/bagReduction.mli
helm/software/helena/src/basic_ag/bagType.ml
helm/software/helena/src/basic_ag/bagType.mli
helm/software/helena/src/basic_ag/bagUntrusted.ml
helm/software/helena/src/basic_ag/bagUntrusted.mli
helm/software/helena/src/basic_rg/brgOutput.ml
helm/software/helena/src/basic_rg/brgReduction.ml
helm/software/helena/src/basic_rg/brgType.ml
helm/software/helena/src/basic_rg/brgUntrusted.ml
helm/software/helena/src/basic_rg/brgValidity.ml
helm/software/helena/src/common/options.ml
helm/software/helena/src/common/output.ml
helm/software/helena/src/common/status.ml
helm/software/helena/src/complete_rg/crgOutput.ml
helm/software/helena/src/lib/log.ml
helm/software/helena/src/lib/log.mli
helm/software/helena/src/lib/time.ml
helm/software/helena/src/modules.ml
helm/software/helena/src/text/txtLexer.mll
helm/software/helena/src/toplevel/top.ml