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

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

2011-05-26	Claudio Sacerdoti...	Syntax for coercion nocomposites fixed.	commit \| commitdiff \| tree
2011-05-26	Claudio Sacerdoti...	Added "nocomposites" to coercions.	commit \| commitdiff \| tree
2011-05-24	Claudio Sacerdoti...	Quick patch to avoid name collisions when passing coercions...	commit \| commitdiff \| tree
2011-05-24	Claudio Sacerdoti...	Coercions are now propagated under let...ins.	commit \| commitdiff \| tree
2011-05-23	Claudio Sacerdoti...	1) interpretation of matches in patterns implemented	commit \| commitdiff \| tree
2011-04-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-04-01	Claudio Sacerdoti...	Patch to avoid equations of the form ? -> T (oriented...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Fixes previous wrong commit.	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	1) Second half of the bug fixing for the "lexical keywords...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Bug fixed: some Uri was not refreshed. The effect of...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2011-03-23	Claudio Sacerdoti...	More verbose in case of errors.	commit \| commitdiff \| tree
2011-03-23	Claudio Sacerdoti...	Use jmeq from lib.	commit \| commitdiff \| tree
2011-03-23	Claudio Sacerdoti...	Nested calls to matitac are now pretty-printed nicely.	commit \| commitdiff \| tree
2011-03-22	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff \| tree
2011-03-22	Claudio Sacerdoti...	Bug fixed and code refactoring: now both matitac and...	commit \| commitdiff \| tree
2011-03-22	Claudio Sacerdoti...	Use matita/lib as the new standard library in place...	commit \| commitdiff \| tree
2011-03-22	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2011-03-19	Claudio Sacerdoti...	Bug "fixed" (i.e avoided).	commit \| commitdiff \| tree
2011-03-18	Claudio Sacerdoti...	Ported to	commit \| commitdiff \| tree
2011-01-27	Claudio Sacerdoti...	Hyperlinks are back.	commit \| commitdiff \| tree
2011-01-27	Claudio Sacerdoti...	Hyperlinks are now computed correctly. I least I hope...	commit \| commitdiff \| tree
2011-01-14	Claudio Sacerdoti...	The sequent window now always scroll to the bottom...	commit \| commitdiff \| tree
2011-01-14	Claudio Sacerdoti...	Bug fixed: the script windows did not scroll correctly...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Bug fixed: the newScript method must be called only...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Bug fixed: the accelerators for Close and Quit were...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Last commit reverted (it was an error).	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Part of last HUGE COMMIT about NCic.status	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Stupid bug fixed (introduced a couple of commits ago...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	HUGE COMMIT:	commit \| commitdiff \| tree
2011-01-10	Claudio Sacerdoti...	code simplification	commit \| commitdiff \| tree
2011-01-03	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-01-03	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-01-03	Claudio Sacerdoti...	Brainstorming	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	Bugs and other stuff to do to complete the Matita 1...	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	Interface reduction; code clean up.	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	code simplification	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	Code clean up.	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	More code clean-up.	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	Useless code removed; interfaces simplified; etc.	commit \| commitdiff \| tree
2010-12-27	Claudio Sacerdoti...	1. reset of statuses simplified	commit \| commitdiff \| tree
2010-12-27	Claudio Sacerdoti...	Some comments (new problems found).	commit \| commitdiff \| tree
2010-12-23	Claudio Sacerdoti...	Really A LOT of code to add close buttons to the tab...	commit \| commitdiff \| tree
2010-12-23	Claudio Sacerdoti...	Bug fixed (introduced in previous commit): opening...	commit \| commitdiff \| tree
2010-12-23	Claudio Sacerdoti...	Implemented standard semantics of Load in MTI: loading...	commit \| commitdiff \| tree
2010-12-23	Claudio Sacerdoti...	1. MatitaGuiTypes.gui interface streamlined	commit \| commitdiff \| tree
2010-12-21	Claudio Sacerdoti...	Useless code removed.	commit \| commitdiff \| tree
2010-12-21	Claudio Sacerdoti...	Dead and useless code removed.	commit \| commitdiff \| tree
2010-12-21	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2010-12-21	Claudio Sacerdoti...	When switching to a new script, the other parts of...	commit \| commitdiff \| tree
2010-12-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-12-21	Claudio Sacerdoti...	VERY EXPERIMENTAL:	commit \| commitdiff \| tree
2010-12-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-12-20	Claudio Sacerdoti...	Code clean-up	commit \| commitdiff \| tree
2010-12-20	Claudio Sacerdoti...	Large commit: refactoring of the code of the interface.	commit \| commitdiff \| tree
2010-12-20	Claudio Sacerdoti...	First steps towards a multi-document interface.	commit \| commitdiff \| tree
2010-12-19	Claudio Sacerdoti...	Class mathViewer got rid of. The circular dependency...	commit \| commitdiff \| tree
2010-12-19	Claudio Sacerdoti...	1. Method screenshot moved to CicMathView where it...	commit \| commitdiff \| tree
2010-12-18	Claudio Sacerdoti...	Useless methods removed.	commit \| commitdiff \| tree
2010-12-18	Claudio Sacerdoti...	1) matitaMathView.ml splitted into cicMathView.ml ...	commit \| commitdiff \| tree
2010-12-17	Claudio Sacerdoti...	Better typing.	commit \| commitdiff \| tree
2010-12-17	Claudio Sacerdoti...	Now useless type declaration removed.	commit \| commitdiff \| tree
2010-12-17	Claudio Sacerdoti...	This commit simplifies the interfaces of the various...	commit \| commitdiff \| tree
2010-12-16	Claudio Sacerdoti...	Large commit:	commit \| commitdiff \| tree
2010-12-10	Claudio Sacerdoti...	Previous patch improved: we now use an ad-hoc wrapper...	commit \| commitdiff \| tree
2010-12-10	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2010-12-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2010-12-10	Claudio Sacerdoti...	BIG BUG FIXED (???): in place of using Grammar.Entry...	commit \| commitdiff \| tree
2010-12-10	Claudio Sacerdoti...	Backporting from new Matita:	commit \| commitdiff \| tree
2010-12-03	Claudio Sacerdoti...	Semantics of try changed (fixed) when applied to multiple...	commit \| commitdiff \| tree
2010-12-03	Claudio Sacerdoti...	Back-portin from new Matita: semantics of ntry changed...	commit \| commitdiff \| tree
2010-12-03	Claudio Sacerdoti...	Back-porting from new Matita: improvement to inferred...	commit \| commitdiff \| tree
2010-12-02	Claudio Sacerdoti...	[ porting from CerCo's Matita ]	commit \| commitdiff \| tree
2010-12-02	Claudio Sacerdoti...	Bad default for ?dorefine for instantiate	commit \| commitdiff \| tree
2010-12-02	Claudio Sacerdoti...	1. new implementation of normalize to have a speed...	commit \| commitdiff \| tree
2010-12-02	Claudio Sacerdoti...	porting to new syntax	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Bug fixed: propagation of left expected parameters...	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Bug fixed: propagation of left expected parameters...	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	In the case type_of constructor with expected type...	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	In the case type_of constructor with expected type...	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-25	Claudio Sacerdoti...	New behaviour of fo_unif: in case of ?f args == t...	commit \| commitdiff \| tree
2010-11-23	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2010-11-22	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2010-11-22	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2010-11-17	Claudio Sacerdoti...	- stock icons restored	commit \| commitdiff \| tree
2010-11-17	Claudio Sacerdoti...	1) matita.glade ported from glade2 to glade3	commit \| commitdiff \| tree
2010-11-05	Claudio Sacerdoti...	Bug fixed: an assert false was raised before giving...	commit \| commitdiff \| tree
2010-11-05	Claudio Sacerdoti...	- bug fixed: fullpath used in place of relative path	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	Dead code removed (left from a previous commit).	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	- disk dumping of ex-lexicon commands almost implemented	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	- disambiguation code moved from matitaEngine to grafiteDisa...	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	Dependencies re-computed.	commit \| commitdiff \| tree
next

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

RSS Atom