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

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

2011-03-21	Andrea Asperti	sn_prod	commit \| commitdiff \| tree \| snapshot
2011-03-21	Andrea Asperti	sn_lambda	commit \| commitdiff \| tree \| snapshot
2011-03-21	Andrea Asperti	extensions	commit \| commitdiff \| tree \| snapshot
2011-03-19	Claudio Sacerdoti...	Bug "fixed" (i.e avoided).	commit \| commitdiff \| tree \| snapshot
2011-03-18	Claudio Sacerdoti...	Ported to	commit \| commitdiff \| tree \| snapshot
2011-03-15	Ferruccio Guidi	- more notation and service lemmas	commit \| commitdiff \| tree \| snapshot
2011-03-15	Ferruccio Guidi	- some ignores	commit \| commitdiff \| tree \| snapshot
2011-03-14	Ferruccio Guidi	dependences fix	commit \| commitdiff \| tree \| snapshot
2011-03-11	Andrea Asperti	added star.ma (star closure of a relation)	commit \| commitdiff \| tree \| snapshot
2011-03-11	Andrea Asperti	Improvements.	commit \| commitdiff \| tree \| snapshot
2011-03-10	Andrea Asperti	diamond property	commit \| commitdiff \| tree \| snapshot
2011-03-09	Ferruccio Guidi	more notation and all-purpose lemmas	commit \| commitdiff \| tree \| snapshot
2011-03-09	Ferruccio Guidi	the interpretation for Sigma was missing	commit \| commitdiff \| tree \| snapshot
2011-03-08	Wilmer Ricciotti	First commit with new (incomplete) disambiguation engine.	commit \| commitdiff \| tree \| snapshot
2011-03-07	Andrea Asperti	sottotermini e confluenza (manca pr_substs).	commit \| commitdiff \| tree \| snapshot
2011-03-02	Ferruccio Guidi	we started the implementation of higher order saturated...	commit \| commitdiff \| tree \| snapshot
2011-02-27	Ferruccio Guidi	- rc_sat.ma: we changed the notation for extensional...	commit \| commitdiff \| tree \| snapshot
2011-02-27	Ferruccio Guidi	- notation is now in a separate file	commit \| commitdiff \| tree \| snapshot
2011-02-26	Ferruccio Guidi	- new file ext.ma with the objects needed for the norma...	commit \| commitdiff \| tree \| snapshot
2011-02-21	Ferruccio Guidi	we started to set up the strong normalization proof.	commit \| commitdiff \| tree \| snapshot
2011-02-21	Wilmer Ricciotti	fork for Matita version B	commit \| commitdiff \| tree \| snapshot
2011-02-10	Ferruccio Guidi	we added some comments	commit \| commitdiff \| tree \| snapshot
2011-02-10	Andrea Asperti	Added typing rule for dummies	commit \| commitdiff \| tree \| snapshot
2011-02-10	Andrea Asperti	Added lambda	commit \| commitdiff \| tree \| snapshot
2011-02-09	Wilmer Ricciotti	enabling destruct defs	commit \| commitdiff \| tree \| snapshot
2011-01-27	Claudio Sacerdoti...	Hyperlinks are back.	commit \| commitdiff \| tree \| snapshot
2011-01-27	Claudio Sacerdoti...	Hyperlinks are now computed correctly. I least I hope...	commit \| commitdiff \| tree \| snapshot
2011-01-21	Wilmer Ricciotti	Removed inclusion of logic/equality.ma in datatypes...	commit \| commitdiff \| tree \| snapshot
2011-01-20	Wilmer Ricciotti	Bugfix for elimination principles.	commit \| commitdiff \| tree \| snapshot
2011-01-20	Wilmer Ricciotti	Bug fix for generation of elimination principles.	commit \| commitdiff \| tree \| snapshot
2011-01-19	Wilmer Ricciotti	Added some typing info to elimination principles, allow...	commit \| commitdiff \| tree \| snapshot
2011-01-19	Wilmer Ricciotti	Added some typing info to elimination principles, allow...	commit \| commitdiff \| tree \| snapshot
2011-01-14	Claudio Sacerdoti...	The sequent window now always scroll to the bottom...	commit \| commitdiff \| tree \| snapshot
2011-01-14	Claudio Sacerdoti...	Bug fixed: the script windows did not scroll correctly...	commit \| commitdiff \| tree \| snapshot
2011-01-11	Enrico Tassi	ctrl+pgUp/Down to navigate tabs	commit \| commitdiff \| tree \| snapshot
2011-01-11	Enrico Tassi	ctrl+pgUp/Down to navigate tabs	commit \| commitdiff \| tree \| snapshot
2011-01-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2011-01-11	Claudio Sacerdoti...	Bug fixed: the newScript method must be called only...	commit \| commitdiff \| tree \| snapshot
2011-01-11	Claudio Sacerdoti...	Bug fixed: the accelerators for Close and Quit were...	commit \| commitdiff \| tree \| snapshot
2011-01-11	Claudio Sacerdoti...	Last commit reverted (it was an error).	commit \| commitdiff \| tree \| snapshot
2011-01-11	Claudio Sacerdoti...	Part of last HUGE COMMIT about NCic.status	commit \| commitdiff \| tree \| snapshot
2011-01-11	Claudio Sacerdoti...	Stupid bug fixed (introduced a couple of commits ago...	commit \| commitdiff \| tree \| snapshot
2011-01-11	Claudio Sacerdoti...	HUGE COMMIT:	commit \| commitdiff \| tree \| snapshot
2011-01-11	Enrico Tassi	coercion lookup now returns coercions ranked using...	commit \| commitdiff \| tree \| snapshot
2011-01-10	Claudio Sacerdoti...	code simplification	commit \| commitdiff \| tree \| snapshot
2011-01-07	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2011-01-07	Enrico Tassi	added retrieval function with weight	commit \| commitdiff \| tree \| snapshot
2011-01-07	Enrico Tassi	non uniform coercion names in sync with the TYPES talk...	commit \| commitdiff \| tree \| snapshot
2011-01-07	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2011-01-03	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2011-01-03	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2011-01-03	Claudio Sacerdoti...	Brainstorming	commit \| commitdiff \| tree \| snapshot
2011-01-02	Ferruccio Guidi	ops, we forgot to update the version indicator :)	commit \| commitdiff \| tree \| snapshot
2011-01-02	Ferruccio Guidi	- ld-html-root: ported to permanent lambda-delta url	commit \| commitdiff \| tree \| snapshot
2010-12-28	Claudio Sacerdoti...	Bugs and other stuff to do to complete the Matita 1...	commit \| commitdiff \| tree \| snapshot
2010-12-28	Claudio Sacerdoti...	Interface reduction; code clean up.	commit \| commitdiff \| tree \| snapshot
2010-12-28	Claudio Sacerdoti...	code simplification	commit \| commitdiff \| tree \| snapshot
2010-12-28	Claudio Sacerdoti...	Code clean up.	commit \| commitdiff \| tree \| snapshot
2010-12-28	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-28	Claudio Sacerdoti...	More code clean-up.	commit \| commitdiff \| tree \| snapshot
2010-12-28	Claudio Sacerdoti...	Useless code removed; interfaces simplified; etc.	commit \| commitdiff \| tree \| snapshot
2010-12-27	Claudio Sacerdoti...	1. reset of statuses simplified	commit \| commitdiff \| tree \| snapshot
2010-12-27	Claudio Sacerdoti...	Some comments (new problems found).	commit \| commitdiff \| tree \| snapshot
2010-12-23	Claudio Sacerdoti...	Really A LOT of code to add close buttons to the tab...	commit \| commitdiff \| tree \| snapshot
2010-12-23	Claudio Sacerdoti...	Bug fixed (introduced in previous commit): opening...	commit \| commitdiff \| tree \| snapshot
2010-12-23	Claudio Sacerdoti...	Implemented standard semantics of Load in MTI: loading...	commit \| commitdiff \| tree \| snapshot
2010-12-23	Claudio Sacerdoti...	1. MatitaGuiTypes.gui interface streamlined	commit \| commitdiff \| tree \| snapshot
2010-12-23	Andrea Asperti	Avoid duplicates in the list.	commit \| commitdiff \| tree \| snapshot
2010-12-23	Andrea Asperti	1. bug fixed: in the last commit on NCicLibrary we...	commit \| commitdiff \| tree \| snapshot
2010-12-23	Andrea Asperti	1. bug in addition of universe constraints fixed: the...	commit \| commitdiff \| tree \| snapshot
2010-12-23	Andrea Asperti	progress	commit \| commitdiff \| tree \| snapshot
2010-12-22	Wilmer Ricciotti	more theory for lists	commit \| commitdiff \| tree \| snapshot
2010-12-22	Wilmer Ricciotti	...	commit \| commitdiff \| tree \| snapshot
2010-12-21	Claudio Sacerdoti...	Useless code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-21	Claudio Sacerdoti...	Dead and useless code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-21	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-21	Claudio Sacerdoti...	When switching to a new script, the other parts of...	commit \| commitdiff \| tree \| snapshot
2010-12-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2010-12-21	Claudio Sacerdoti...	VERY EXPERIMENTAL:	commit \| commitdiff \| tree \| snapshot
2010-12-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2010-12-20	Claudio Sacerdoti...	Code clean-up	commit \| commitdiff \| tree \| snapshot
2010-12-20	Claudio Sacerdoti...	Large commit: refactoring of the code of the interface.	commit \| commitdiff \| tree \| snapshot
2010-12-20	Claudio Sacerdoti...	First steps towards a multi-document interface.	commit \| commitdiff \| tree \| snapshot
2010-12-19	Claudio Sacerdoti...	Class mathViewer got rid of. The circular dependency...	commit \| commitdiff \| tree \| snapshot
2010-12-19	Claudio Sacerdoti...	1. Method screenshot moved to CicMathView where it...	commit \| commitdiff \| tree \| snapshot
2010-12-18	Claudio Sacerdoti...	Useless methods removed.	commit \| commitdiff \| tree \| snapshot
2010-12-18	Claudio Sacerdoti...	1) matitaMathView.ml splitted into cicMathView.ml ...	commit \| commitdiff \| tree \| snapshot
2010-12-17	Claudio Sacerdoti...	Better typing.	commit \| commitdiff \| tree \| snapshot
2010-12-17	Claudio Sacerdoti...	Now useless type declaration removed.	commit \| commitdiff \| tree \| snapshot
2010-12-17	Claudio Sacerdoti...	This commit simplifies the interfaces of the various...	commit \| commitdiff \| tree \| snapshot
2010-12-16	Claudio Sacerdoti...	Large commit:	commit \| commitdiff \| tree \| snapshot
2010-12-16	Andrea Asperti	New version of the library. Several files still do...	commit \| commitdiff \| tree \| snapshot
2010-12-16	Andrea Asperti	Some bugs fixed (and some still open) in recursive...	commit \| commitdiff \| tree \| snapshot
2010-12-16	Andrea Asperti	Bug fixed: a file A that includes a file B needs to...	commit \| commitdiff \| tree \| snapshot
2010-12-16	Andrea Asperti	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	Previous patch improved: we now use an ad-hoc wrapper...	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	BIG BUG FIXED (???): in place of using Grammar.Entry...	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	Backporting from new Matita:	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom