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

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

2005-11-30	Claudio Sacerdoti...	coercGraph.ml* moved from cic_unification to library	commit \| commitdiff \| tree \| snapshot
2005-11-30	Claudio Sacerdoti...	Implicit aliases are now defined as all the aliases...	commit \| commitdiff \| tree \| snapshot
2005-11-30	Claudio Sacerdoti...	nicer (but convertible) types	commit \| commitdiff \| tree \| snapshot
2005-11-30	Claudio Sacerdoti...	* Undo fixed.	commit \| commitdiff \| tree \| snapshot
2005-11-30	Claudio Sacerdoti...	Terms parsed by notations were not localized.	commit \| commitdiff \| tree \| snapshot
2005-11-30	Stefano Zacchiroli	improved disambiguation section	commit \| commitdiff \| tree \| snapshot
2005-11-30	Claudio Sacerdoti...	Generation of auxiliary lemmas for inductive types...	commit \| commitdiff \| tree \| snapshot
2005-11-29	Claudio Sacerdoti...	* Part of matita that used to deal with the library...	commit \| commitdiff \| tree \| snapshot
2005-11-29	Andrea Asperti	Added a few bibliographic entries.	commit \| commitdiff \| tree \| snapshot
2005-11-28	Ferruccio Guidi	coa continued	commit \| commitdiff \| tree \| snapshot
2005-11-28	Claudio Sacerdoti...	* More error messages localized.	commit \| commitdiff \| tree \| snapshot
2005-11-28	Claudio Sacerdoti...	More errors localized.	commit \| commitdiff \| tree \| snapshot
2005-11-28	Claudio Sacerdoti...	More error messages localized.	commit \| commitdiff \| tree \| snapshot
2005-11-28	Claudio Sacerdoti...	More aggressive politic for non localized terms: an...	commit \| commitdiff \| tree \| snapshot
2005-11-28	Stefano Zacchiroli	first part on disambiguation passes	commit \| commitdiff \| tree \| snapshot
2005-11-28	Enrico Tassi	added comment	commit \| commitdiff \| tree \| snapshot
2005-11-28	Claudio Sacerdoti...	DisambiguationError exceptions (that have locations...	commit \| commitdiff \| tree \| snapshot
2005-11-28	Claudio Sacerdoti...	1. Bug fixed: compilation of "let corec" to a simple...	commit \| commitdiff \| tree \| snapshot
2005-11-27	Stefano Zacchiroli	removed deadcode / fixed typos (thanks to ocaml 3.09)	commit \| commitdiff \| tree \| snapshot
2005-11-27	Stefano Zacchiroli	removed dead code (thanks to ocaml 3.09)	commit \| commitdiff \| tree \| snapshot
2005-11-27	Stefano Zacchiroli	crosso compatibility patch which enable building both...	commit \| commitdiff \| tree \| snapshot
2005-11-26	Stefano Zacchiroli	ocaml 3.09 transition	commit \| commitdiff \| tree \| snapshot
2005-11-26	Claudio Sacerdoti...	* wrong comments removed	commit \| commitdiff \| tree \| snapshot
2005-11-26	Claudio Sacerdoti...	Refinement bug fixed. The outtype was not refined if...	commit \| commitdiff \| tree \| snapshot
2005-11-26	Ferruccio Guidi	coimplication (continued)	commit \| commitdiff \| tree \| snapshot
2005-11-26	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2005-11-26	Claudio Sacerdoti...	Bug fixed: an unrefined term was passed around while...	commit \| commitdiff \| tree \| snapshot
2005-11-26	Claudio Sacerdoti...	Experimental localization of errors during refinement...	commit \| commitdiff \| tree \| snapshot
2005-11-26	Ferruccio Guidi	the coimplication connective (start)	commit \| commitdiff \| tree \| snapshot
2005-11-26	Claudio Sacerdoti...	Module CicHash (hash-tables over CIC terms based on...	commit \| commitdiff \| tree \| snapshot
2005-11-26	Stefano Zacchiroli	s/0c2/0c2a/ in .install	commit \| commitdiff \| tree \| snapshot
2005-11-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-11-25	Claudio Sacerdoti...	Non exhaustive match fixed.	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	Bug fixed: removal of .__log was not always attempted.	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	use empty universe in the mono alias phases	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	bugfix: removed unneeded No_choices exception	commit \| commitdiff \| tree \| snapshot
2005-11-25	Claudio Sacerdoti...	Confronto con Coq.	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	minor changes	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	labels	commit \| commitdiff \| tree \| snapshot
2005-11-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-11-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	deps	commit \| commitdiff \| tree \| snapshot
2005-11-25	Claudio Sacerdoti...	More on the presentation.	commit \| commitdiff \| tree \| snapshot
2005-11-25	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	added missing deps	commit \| commitdiff \| tree \| snapshot
2005-11-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	build paper per default	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	dependency graphs	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	notation intro	commit \| commitdiff \| tree \| snapshot
2005-11-25	Enrico Tassi	added tinycals and patterns subsections	commit \| commitdiff \| tree \| snapshot
2005-11-25	Stefano Zacchiroli	changed META dependency	commit \| commitdiff \| tree \| snapshot
2005-11-25	Claudio Sacerdoti...	Unused file removed.	commit \| commitdiff \| tree \| snapshot
2005-11-24	Stefano Zacchiroli	Reshaped structure of ocaml/ libraries, matita changed...	commit \| commitdiff \| tree \| snapshot
2005-11-24	Stefano Zacchiroli	Reshaped structure of ocaml/ libraries.	commit \| commitdiff \| tree \| snapshot
2005-11-24	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-11-24	Claudio Sacerdoti...	Da capo (matita2.tex).	commit \| commitdiff \| tree \| snapshot
2005-11-24	Stefano Zacchiroli	split non-logic level of whelp away from metadataQuery...	commit \| commitdiff \| tree \| snapshot
2005-11-24	Stefano Zacchiroli	added missing dependency	commit \| commitdiff \| tree \| snapshot
2005-11-24	Stefano Zacchiroli	removed the need of REQUIRES in libraries Makefile...	commit \| commitdiff \| tree \| snapshot
2005-11-24	Stefano Zacchiroli	bugfix: libraries.ps works again	commit \| commitdiff \| tree \| snapshot
2005-11-24	Stefano Zacchiroli	prose	commit \| commitdiff \| tree \| snapshot
2005-11-24	Stefano Zacchiroli	minimal introduction	commit \| commitdiff \| tree \| snapshot
2005-11-23	Claudio Sacerdoti...	New implementation for localized exceptions.	commit \| commitdiff \| tree \| snapshot
2005-11-23	Claudio Sacerdoti...	* New implementation of localized exceptions	commit \| commitdiff \| tree \| snapshot
2005-11-23	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-11-23	Stefano Zacchiroli	ocaml 3.09 transition	commit \| commitdiff \| tree \| snapshot
2005-11-23	Claudio Sacerdoti...	More on accessibility.	commit \| commitdiff \| tree \| snapshot
2005-11-23	Stefano Zacchiroli	ocaml 3.09 transition	commit \| commitdiff \| tree \| snapshot
2005-11-23	Stefano Zacchiroli	ocaml 3.09 transition	commit \| commitdiff \| tree \| snapshot
2005-11-23	Stefano Zacchiroli	0.7.2 version (ancient)	commit \| commitdiff \| tree \| snapshot
2005-11-22	Stefano Zacchiroli	- more resilient to proof checking failures during...	commit \| commitdiff \| tree \| snapshot
2005-11-22	Stefano Zacchiroli	support pretty printing of Cic.Implicit	commit \| commitdiff \| tree \| snapshot
2005-11-22	Stefano Zacchiroli	bugfix: return unshared sequent when applying cic ...	commit \| commitdiff \| tree \| snapshot
2005-11-22	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2005-11-22	Claudio Sacerdoti...	Error messages improved.	commit \| commitdiff \| tree \| snapshot
2005-11-22	Claudio Sacerdoti...	"Localization" of error messages for eat_prods and...	commit \| commitdiff \| tree \| snapshot
2005-11-22	Claudio Sacerdoti...	Less verbose error messages.	commit \| commitdiff \| tree \| snapshot
2005-11-22	Claudio Sacerdoti...	Last details.	commit \| commitdiff \| tree \| snapshot
2005-11-21	Claudio Sacerdoti...	Proof using function induction terminated. It's really...	commit \| commitdiff \| tree \| snapshot
2005-11-21	Claudio Sacerdoti...	Lost of redundant typing hints removed from the functio...	commit \| commitdiff \| tree \| snapshot
2005-11-21	Claudio Sacerdoti...	New proof based on an hand-made functional induction.	commit \| commitdiff \| tree \| snapshot
2005-11-21	Claudio Sacerdoti...	Useful lemma added.	commit \| commitdiff \| tree \| snapshot
2005-11-21	Claudio Sacerdoti...	Invariant no longer true (since when?)	commit \| commitdiff \| tree \| snapshot
2005-11-21	Claudio Sacerdoti...	More informative error messages.	commit \| commitdiff \| tree \| snapshot
2005-11-21	Stefano Zacchiroli	split body away to ease inclusion from elsewhere	commit \| commitdiff \| tree \| snapshot
2005-11-21	Stefano Zacchiroli	split to easy inclusion	commit \| commitdiff \| tree \| snapshot
2005-11-21	Stefano Zacchiroli	typo	commit \| commitdiff \| tree \| snapshot
2005-11-21	Ferruccio Guidi	internal quantification fixed	commit \| commitdiff \| tree \| snapshot
2005-11-21	Stefano Zacchiroli	fixed URI regexp so that URIs containing '-' are allowed	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	"let rec f = ... in f l" used to be compiled incorrectly	commit \| commitdiff \| tree \| snapshot
2005-11-19	Ferruccio Guidi	theorems about equality in classes	commit \| commitdiff \| tree \| snapshot
2005-11-19	Ferruccio Guidi	some definitions about subsets	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Error messages improvement.	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Less verbose error messages (= substitution applied...	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Wrong reported error message fixed.	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	More information is now printed when reporting errors.	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Disambiguation errors are no longer thrown away. They...	commit \| commitdiff \| tree \| snapshot
2005-11-19	Ferruccio Guidi	some renaming	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Coercions are now inserted also around the sources...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom