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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 4 Jul 2015 13:37:33 +0000 (13:37 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 4 Jul 2015 13:37:33 +0000 (13:37 +0000)
commit	586c361209ac14e8c2b1da3509041c0c82a86c92
tree	7b41cc844ddd98cfd4349a263fbadc4291010a7c	tree \| snapshot
parent	14803d30dc98bcb4804c629341373dbc0ec6b1ef	commit \| diff

- conditional compilation continues ...
- current run times for helena and managers in profile.txt

48 files changed:

helm/software/helena/.depend.byte	[deleted file]	blob \| history
helm/software/helena/.depend.opt	[deleted file]	blob \| history
helm/software/helena/Makefile		diff \| blob \| history
helm/software/helena/Makefile.common		diff \| blob \| history
helm/software/helena/README		diff \| blob \| history
helm/software/helena/profile.txt	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autCrg.ml		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/automath/autOutput.mli		diff \| blob \| history
helm/software/helena/src/automath/autParser.mly		diff \| blob \| history
helm/software/helena/src/automath/autProcess.ml		diff \| blob \| history
helm/software/helena/src/automath/autProcess.mli		diff \| blob \| history
helm/software/helena/src/basic_ag/bagEnvironment.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagEnvironment.mli		diff \| blob \| history
helm/software/helena/src/basic_ag/bagOutput.ml		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/bagSubstitution.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/brgOutput.mli		diff \| blob \| history
helm/software/helena/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgSubstitution.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgSubstitution.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.ml		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/common/layer.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/output.mli		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/text/txtLexer.mll		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