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

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

2005-10-25	Claudio Sacerdoti...	Parentheses must now be put in patterns like in tactic...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Semantic change: applying a tactic to the empty goal...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Syntax change:	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	ProofEngineTypes.Fail printed correctly.	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Debugging code turned off.	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	dump_moo added	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	* More profiling code	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Every exception that used to have type string is now...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	~subst fixed everywhere in the type-checker:	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	t renamed to t' since t was already defined in the...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Bug fixed: the current substitution and metasenv were...	commit \| commitdiff \| tree
2005-10-09	Claudio Sacerdoti...	More informative exceptions raised.	commit \| commitdiff \| tree
2005-10-06	Claudio Sacerdoti...	NODB implemented	commit \| commitdiff \| tree
2005-10-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-29	Claudio Sacerdoti...	Further speed-up in the disambiguation algorithm.	commit \| commitdiff \| tree
2005-09-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	coq.moo is now automatically generated. New targets:	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	coq.moo is now automatically generated	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	Coq's existential fixed.	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	matitatop.opt should not be generated	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	Unification enhanchement.	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	Unification enhanchement:	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	Inclusion path fixed.	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	New module HMysql (to abstract over Mysql and make...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	New module HMysql (to abstract over Mysql and make...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	More profiling code.	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	Less feedback during removal of objects.	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	Too many OPTIMIZE TABLES (because of a very stupid...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	save_object_to_disk profiler fixed	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	Profiling code removed.	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	several "INSERT VALUE" ==> "INSERT VALUES" (more efficient)	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	Profiling code removed.	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	Dead code removed again!!!	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	The disambiguation now returns the aliases diff. It...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	The disambiguation now returns the aliases diff. It...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	The new_aliases argument of the functions alias_diff...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	Environment replaced by lists of domain and codomain...	commit \| commitdiff \| tree
2005-09-22	Claudio Sacerdoti...	More notation here and there.	commit \| commitdiff \| tree
2005-09-22	Claudio Sacerdoti...	More notation here and there: \sup, \divides, \ndivides, !	commit \| commitdiff \| tree
2005-09-22	Claudio Sacerdoti...	* Added divides and ndivides	commit \| commitdiff \| tree
2005-09-22	Claudio Sacerdoti...	'!' is no longer a decorator (to allow a reasonable...	commit \| commitdiff \| tree
2005-09-22	Claudio Sacerdoti...	More notation here and there.	commit \| commitdiff \| tree
2005-09-22	Claudio Sacerdoti...	Profiling messages grepped out.	commit \| commitdiff \| tree
2005-09-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-22	Claudio Sacerdoti...	Dead code removed	commit \| commitdiff \| tree
2005-09-21	Claudio Sacerdoti...	More profiling code.	commit \| commitdiff \| tree
2005-09-21	Claudio Sacerdoti...	This commit removes the slowest identity function ever...	commit \| commitdiff \| tree
2005-09-21	Claudio Sacerdoti...	We do not longer generate inner-types and inner-sorts...	commit \| commitdiff \| tree
2005-09-21	Claudio Sacerdoti...	We do not longer generate inner-types and inner-sorts...	commit \| commitdiff \| tree
2005-09-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-21	Claudio Sacerdoti...	All the debug_print are now lazy.	commit \| commitdiff \| tree
2005-09-21	Claudio Sacerdoti...	More debug_print made lazy.	commit \| commitdiff \| tree
2005-09-21	Claudio Sacerdoti...	1. profiling code added	commit \| commitdiff \| tree
2005-09-20	Claudio Sacerdoti...	Profiling did not profile functions that raise an exception!	commit \| commitdiff \| tree
2005-09-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-20	Claudio Sacerdoti...	More profiling code added.	commit \| commitdiff \| tree
2005-09-20	Claudio Sacerdoti...	More profiling code inserted.	commit \| commitdiff \| tree
2005-09-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	* Obsolete debugging comments removed	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	Notation for "ex" introduced. It is the same as the...	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	More profiling code.	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	Great speed-up in alias_diff (about 3x).	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	A bit of profiling functions added here and there.	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	Spurious interpretation removed.	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	Profiling disabled.	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	This commit (partially) removes a big source of inefficiency...	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	Removed final question marks from {apply\|elim\|rewrite}s.	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	Some code that used to avoid a fixed bug removed.	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	.ma inclusions corrected/minimized	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	Profiling code commented out.	commit \| commitdiff \| tree
2005-09-19	Claudio Sacerdoti...	CicUtil.profile made even more polymorphic.	commit \| commitdiff \| tree
2005-09-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-15	Claudio Sacerdoti...	Yet another implementation of the single aliases /...	commit \| commitdiff \| tree
2005-09-15	Claudio Sacerdoti...	"bool.ma" is now always included before "logic.ma"...	commit \| commitdiff \| tree
2005-09-15	Claudio Sacerdoti...	Yet another implementation of the single aliases /...	commit \| commitdiff \| tree
2005-09-15	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-13	Claudio Sacerdoti...	Bug fixed: when several instances are tried during...	commit \| commitdiff \| tree
2005-09-13	Claudio Sacerdoti...	Enabling/disabling profiling is now controlled by a...	commit \| commitdiff \| tree
2005-09-13	Claudio Sacerdoti...	New policy for the disambiguation passes.	commit \| commitdiff \| tree
2005-09-13	Claudio Sacerdoti...	useless alias removed	commit \| commitdiff \| tree
2005-09-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-13	Claudio Sacerdoti...	Test fixed.	commit \| commitdiff \| tree
2005-09-13	Claudio Sacerdoti...	Two bugs fixed in the apply tactic:	commit \| commitdiff \| tree
2005-09-12	Claudio Sacerdoti...	cic_textual_parser2 ==> cic_disambiguation	commit \| commitdiff \| tree
2005-09-12	Claudio Sacerdoti...	cic_textual_parser2 ==> cic_disambiguation	commit \| commitdiff \| tree
2005-09-12	Claudio Sacerdoti...	core_notation.ma ==> core_notation.moo	commit \| commitdiff \| tree
2005-09-12	Claudio Sacerdoti...	Comment removed.	commit \| commitdiff \| tree
2005-09-12	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-12	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
next

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

RSS Atom