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

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

2005-12-12	Enrico Tassi	fixed undo support for coercions inside records	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	convert does not export xfc->png properly...	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	added developers	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	first draft	commit \| commitdiff \| tree \| snapshot
2005-12-09	Claudio Sacerdoti...	Bug fixed: errors of phase 7 were no longer printed :-)	commit \| commitdiff \| tree \| snapshot
2005-12-09	Claudio Sacerdoti...	1. useless code (undebrujin) removed from disambiguate.ml	commit \| commitdiff \| tree \| snapshot
2005-12-09	Stefano Zacchiroli	commented out some debugging prints	commit \| commitdiff \| tree \| snapshot
2005-12-09	Stefano Zacchiroli	implemented copy/cut/paste/delete/pastePattern	commit \| commitdiff \| tree \| snapshot
2005-12-09	Enrico Tassi	ficed include and -I	commit \| commitdiff \| tree \| snapshot
2005-12-07	Claudio Sacerdoti...	More compact disambiguation errors.	commit \| commitdiff \| tree \| snapshot
2005-12-07	Claudio Sacerdoti...	The last commit about coercions disactivated localizati...	commit \| commitdiff \| tree \| snapshot
2005-12-07	Enrico Tassi	since the moo content is not OK... we need an hack.	commit \| commitdiff \| tree \| snapshot
2005-12-07	Enrico Tassi	Big commit to let Ferruccio try the merge_coercion...	commit \| commitdiff \| tree \| snapshot
2005-12-07	Enrico Tassi	Big commit to let Ferruccio try the merge_coercion...	commit \| commitdiff \| tree \| snapshot
2005-12-06	Stefano Zacchiroli	bugfixes:	commit \| commitdiff \| tree \| snapshot
2005-12-06	Andrea Asperti	Typos.	commit \| commitdiff \| tree \| snapshot
2005-12-06	Andrea Asperti	Minor changes.	commit \| commitdiff \| tree \| snapshot
2005-12-06	Andrea Asperti	Naming convention.	commit \| commitdiff \| tree \| snapshot
2005-12-05	Alberto Griggio	better output from main_demod_equalities	commit \| commitdiff \| tree \| snapshot
2005-12-05	Alberto Griggio	added function term_of_equality to re-build the Cic...	commit \| commitdiff \| tree \| snapshot
2005-12-05	Claudio Sacerdoti...	eval_from_stream_greedy finally got rid of!	commit \| commitdiff \| tree \| snapshot
2005-12-05	Alberto Griggio	removed original equalities from the output of main_dem...	commit \| commitdiff \| tree \| snapshot
2005-12-05	Claudio Sacerdoti...	1. Several files in grafite that should be in grafite_p...	commit \| commitdiff \| tree \| snapshot
2005-12-05	Claudio Sacerdoti...	1. Several files in grafite that should be in grafite_p...	commit \| commitdiff \| tree \| snapshot
2005-12-05	Alberto Griggio	removed some debug messages	commit \| commitdiff \| tree \| snapshot
2005-12-05	Alberto Griggio	added function saturate_equations that tries to infer...	commit \| commitdiff \| tree \| snapshot
2005-12-05	Andrea Asperti	Minor changes.	commit \| commitdiff \| tree \| snapshot
2005-12-05	Stefano Zacchiroli	removed from repository spurious object files	commit \| commitdiff \| tree \| snapshot
2005-12-05	Andrea Asperti	Added a new section on the logical library.	commit \| commitdiff \| tree \| snapshot
2005-12-03	Claudio Sacerdoti...	metadata are no longer stored in .moo files.	commit \| commitdiff \| tree \| snapshot
2005-12-03	Claudio Sacerdoti...	1. metadata are no longer stored in .moo files.	commit \| commitdiff \| tree \| snapshot
2005-12-02	Stefano Zacchiroli	moved (and hence exported) uri rehashing functions...	commit \| commitdiff \| tree \| snapshot
2005-12-02	Claudio Sacerdoti...	1. matitaEngine splitted into disambiguation (now in...	commit \| commitdiff \| tree \| snapshot
2005-12-02	Claudio Sacerdoti...	1. matitaEngine splitted into disambiguation (now in...	commit \| commitdiff \| tree \| snapshot
2005-11-30	Enrico Tassi	it may happen that matitaclean (clean_baseuris) calls...	commit \| commitdiff \| tree \| snapshot
2005-11-30	Claudio Sacerdoti...	moved coercion to library (work in progress)	commit \| commitdiff \| tree \| snapshot
2005-11-30	Claudio Sacerdoti...	moved coercions away (work in progress)	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom