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

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

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
2005-09-12	Claudio Sacerdoti...	An old note (that goes back to July) integrated in...	commit \| commitdiff \| tree
2005-09-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-07	Claudio Sacerdoti...	Unsharing bugs fixed.	commit \| commitdiff \| tree
2005-09-07	Claudio Sacerdoti...	Unsharing bug due to a very stupid typo fixed.	commit \| commitdiff \| tree
2005-09-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	Refiner substituted with the type-checker in a case...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	New bug exposed.	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	Dead code/files removed.	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	Bug fixed: the small logo was searched in the wrong...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	Serious bug fixed: unsharing was not performed over...	commit \| commitdiff \| tree
2005-09-06	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	Added aliases and notation.	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	Unfold tactic generalized to perform zeta-reduction.	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	locate_in_* functions generalized to handle equalities...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	New change in patterns: the pattern "in H" is now interpreted as	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	The refined form of a reference to a let-in bound variable...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	Assert false (for imbricated theorems) changed to a...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	New strategy for let-in unfolding (aka zeta reduction...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	Critical bug fixed: the get_cooked_obj was called on...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	Typing errors fixed.	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	The logo was searched in the wrong directory.	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	Bug fixed: Invalid_argument was raised by List.combine...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	LAMBDA-TYPES moved under contrib, fixed (to use the...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	Bug fixed: matitac used to stop too early when an ambigous...	commit \| commitdiff \| tree
2005-09-05	Claudio Sacerdoti...	create_owner_environment missing from matitatop initialization	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	Unsharing removed since it is now used in Cic2acic.	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	Unsharing finally introduced (but just for object processing...	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	Bug fixed: sorts and implicits were not unshared correctly.	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	Assert added to check whether an unsharing problem...	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	Serious bug fixed previously introduced by me in the...	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	Stupid typo fixed.	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	Missing initialization of the trusting function (for...	commit \| commitdiff \| tree
2005-09-02	Claudio Sacerdoti...	Unused index (because of UNIQUE field count) dropped.	commit \| commitdiff \| tree
2005-09-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-01	Claudio Sacerdoti...	New index refObj_occurrence on refObj. It is required...	commit \| commitdiff \| tree
2005-09-01	Claudio Sacerdoti...	Comment added.	commit \| commitdiff \| tree
2005-09-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-08-31	Claudio Sacerdoti...	Since several weeks whelp did not compile any longer...	commit \| commitdiff \| tree
2005-08-31	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-08-31	Claudio Sacerdoti...	( xxx ) ==> (** xxx *)	commit \| commitdiff \| tree
next

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

RSS Atom