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

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

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
2005-08-30	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-08-30	Claudio Sacerdoti...	Bug fixed: "cic:/dummy_i" is an invalid URI (that used...	commit \| commitdiff \| tree
2005-08-30	Claudio Sacerdoti...	A parser for aliases implemented (required by the Whelp).	commit \| commitdiff \| tree
2005-08-30	Claudio Sacerdoti...	CicNotationPres self-reference (misteriously accepted...	commit \| commitdiff \| tree
2005-08-29	Claudio Sacerdoti...	WARNING: this commit changes the DB representation...	commit \| commitdiff \| tree
2005-08-29	Claudio Sacerdoti...	WARNING: this commit changes the DB representation...	commit \| commitdiff \| tree
2005-08-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-08-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-08-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-08-24	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-08-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-08-22	Claudio Sacerdoti...	Comment removed.	commit \| commitdiff \| tree
2005-08-22	Claudio Sacerdoti...	Paramodulation bug fixed.	commit \| commitdiff \| tree
2005-07-29	Claudio Sacerdoti...	Partial bug fix: every inner type is now added to the...	commit \| commitdiff \| tree
2005-07-29	Claudio Sacerdoti...	0. core_notation.ma splitted into coq.moo and core_notation.moo	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	This test stresses automatic insertion.	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	The logo is now showed in the sequents_viewer window...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	Logo added to the about dialog.	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	1. ProofEngineHelpers.locate_in_term, ProofEngineHelpers...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	New tactic: unfold.	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	Bug fixed: unfold used to work iff the term to unfold...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	arguments of ProofEngineHelpers.replace swapped.	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	Bug fixed: locate_term_in_conjecture used to raise...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	New tactic unfold.	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	This commit re-commits version 1.61, removing the error...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	REVERT OF MY PREVIOUS COMMIT THAT INTRODUCES A CRITICAL...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	Committing all the recent development of Andrea after...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	More notation.	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	Management of automatic insertion of aliases and "goal...	commit \| commitdiff \| tree
2005-07-28	Claudio Sacerdoti...	Code simplification.	commit \| commitdiff \| tree
2005-07-27	Claudio Sacerdoti...	Bug fixed: added a _undoable_action critical section...	commit \| commitdiff \| tree
2005-07-27	Claudio Sacerdoti...	dead code removed	commit \| commitdiff \| tree
2005-07-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	"Coq's " prefix added to every interpretation.	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Flickering bug fixed.	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	locate_in_term generalized to locate_in_conjecture	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Comments added.	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Bug solved: the #reparent method of Gtk should NOT...	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Implementation of locate_in finished.	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	** Experimental: **	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	typo fixed	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	"Coq's " prefix added to every interpretation.	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Bug fixed: list_uniq o List.sort used in the lookup...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	More notation (up to where the open bugs allow me to...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	A little bit more of notation here and there.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Notation for equality used everywhere.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Bug solved: X-style paste (i.e. paste of the PRIMARY...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	paramodulation added.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Highlighting of parse errors implemented.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Code simplification.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Bug fixed: the _advance method must delete the parsed...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	1. select_all added to the Edit menu; no shortcut for...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	The edit menu items (copy/cut/delete/paste) are now...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	- MatitaLog output redirected to stderr for every message...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Paramodulation initialized.	commit \| commitdiff \| tree
next

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

RSS Atom