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

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

2007-12-09	Wilmer Ricciotti	Added summation formula for the power of a binomial.	commit \| commitdiff \| tree \| snapshot
2007-12-08	Enrico Tassi	the is_structure is a bad idea if you don't have canoni...	commit \| commitdiff \| tree \| snapshot
2007-12-07	Andrea Asperti	Binomial coefficients and costant e.	commit \| commitdiff \| tree \| snapshot
2007-12-07	Andrea Asperti	A few more theorems.	commit \| commitdiff \| tree \| snapshot
2007-12-06	Stefano Zacchiroli	dump spurious errors max	commit \| commitdiff \| tree \| snapshot
2007-12-06	Enrico Tassi	excede->excess	commit \| commitdiff \| tree \| snapshot
2007-12-06	Enrico Tassi	excedence -> excess	commit \| commitdiff \| tree \| snapshot
2007-12-06	Enrico Tassi	weight -> value	commit \| commitdiff \| tree \| snapshot
2007-12-05	Stefano Zacchiroli	dump result table in \TeX format	commit \| commitdiff \| tree \| snapshot
2007-12-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2007-12-04	Claudio Sacerdoti...	Repeated errors are not duplicated.	commit \| commitdiff \| tree \| snapshot
2007-12-04	Claudio Sacerdoti...	Even if the error is not localized, it was not a good...	commit \| commitdiff \| tree \| snapshot
2007-12-04	Enrico Tassi	refactoring of some lemmas, shorter proofs	commit \| commitdiff \| tree \| snapshot
2007-12-04	Claudio Sacerdoti...	Some terms are not localized from the very beginning :-(	commit \| commitdiff \| tree \| snapshot
2007-12-04	Claudio Sacerdoti...	Added debugging option to ask for all disambiguation...	commit \| commitdiff \| tree \| snapshot
2007-12-04	Claudio Sacerdoti...	One more error localized. But the code is really ugly...	commit \| commitdiff \| tree \| snapshot
2007-12-04	Enrico Tassi	added do_heavy_checks documentation	commit \| commitdiff \| tree \| snapshot
2007-12-04	Enrico Tassi	do_heavy_checks not always true, take ths option from...	commit \| commitdiff \| tree \| snapshot
2007-12-04	Enrico Tassi	added do_heavy_checks default	commit \| commitdiff \| tree \| snapshot
2007-12-04	Enrico Tassi	if parameter type is given, this assert is false	commit \| commitdiff \| tree \| snapshot
2007-12-04	Claudio Sacerdoti...	Only errors from passes 4 and 6 are kept.	commit \| commitdiff \| tree \| snapshot
2007-12-04	Claudio Sacerdoti...	Reindented.	commit \| commitdiff \| tree \| snapshot
2007-12-04	Enrico Tassi	sandwitch theorem done	commit \| commitdiff \| tree \| snapshot
2007-12-04	Enrico Tassi	removed all the axioms!!!	commit \| commitdiff \| tree \| snapshot
2007-12-04	Enrico Tassi	sligtly more general results, still to reorganize	commit \| commitdiff \| tree \| snapshot
2007-12-03	Enrico Tassi	ok	commit \| commitdiff \| tree \| snapshot
2007-12-03	Enrico Tassi	1 lemma left!!!!	commit \| commitdiff \| tree \| snapshot
2007-12-03	Andrea Asperti	Some progress.	commit \| commitdiff \| tree \| snapshot
2007-12-02	Claudio Sacerdoti...	Forward compatibility with new lablgtk2.	commit \| commitdiff \| tree \| snapshot
2007-12-01	Enrico Tassi	carabinieri almost done	commit \| commitdiff \| tree \| snapshot
2007-11-30	Enrico Tassi	carabinieri almost done	commit \| commitdiff \| tree \| snapshot
2007-11-30	Enrico Tassi	cleanup of the eq_trans burdain	commit \| commitdiff \| tree \| snapshot
2007-11-30	Enrico Tassi	3.11 !!!	commit \| commitdiff \| tree \| snapshot
2007-11-30	Enrico Tassi	added a way to generate all the utf8 symbols	commit \| commitdiff \| tree \| snapshot
2007-11-28	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2007-11-28	Claudio Sacerdoti...	Bug fixed: an unification exception used to escape...	commit \| commitdiff \| tree \| snapshot
2007-11-28	Enrico Tassi	more stuff	commit \| commitdiff \| tree \| snapshot
2007-11-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Claudio Sacerdoti...	Output is now in UTF8 character counts.	commit \| commitdiff \| tree \| snapshot
2007-11-27	Claudio Sacerdoti...	Options declared but not parsed.	commit \| commitdiff \| tree \| snapshot
2007-11-27	Claudio Sacerdoti...	Ported to camlp5 < 5.00	commit \| commitdiff \| tree \| snapshot
2007-11-27	Claudio Sacerdoti...	Back-ported to camlp5 < 5.00.	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	remove debug fake data	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	(hackish) scripts for testing spurious disambiguation...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	add "-order" cmdline option to just print a possible...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	change naming scheme for rottened script, so that they...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	major reorganization (read cleanup)	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	bir georganization, most of the structures done	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	avoid rottening of constructor names in pattern matchings	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	ignore sqlite db and rottener* executables	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	- use "O" as the rottening token	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	make target for cleaning rottened files	commit \| commitdiff \| tree \| snapshot
2007-11-26	Enrico Tassi	reorganization of many files according to the new basic...	commit \| commitdiff \| tree \| snapshot
2007-11-26	Stefano Zacchiroli	first draft of a script to mechanically introduce ...	commit \| commitdiff \| tree \| snapshot
2007-11-26	Stefano Zacchiroli	ignore *.o	commit \| commitdiff \| tree \| snapshot
2007-11-26	Stefano Zacchiroli	add dump of position information in the lexed file	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Axiom moved from ex_deriv to deriv where it belongs to.	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Notation improved.	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Some code clean-up.	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Disambiguation error compaction is now performed in...	commit \| commitdiff \| tree \| snapshot
2007-11-26	Enrico Tassi	for csc	commit \| commitdiff \| tree \| snapshot
2007-11-26	Enrico Tassi	pretty	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Patch to automatically generate filename.error.md5...	commit \| commitdiff \| tree \| snapshot
2007-11-26	Andrea Asperti	Almost there.	commit \| commitdiff \| tree \| snapshot
2007-11-25	Claudio Sacerdoti...	This version of disambiguate.ml implements yet another...	commit \| commitdiff \| tree \| snapshot
2007-11-25	Claudio Sacerdoti...	Bug fixed: an unification exception used to escape...	commit \| commitdiff \| tree \| snapshot
2007-11-23	Enrico Tassi	since the previous commit fixed some bugs when the...	commit \| commitdiff \| tree \| snapshot
2007-11-23	Enrico Tassi	restored the right context used to generate names....	commit \| commitdiff \| tree \| snapshot
2007-11-23	Claudio Sacerdoti...	This alternative version of disambiguate.crit2 implemen...	commit \| commitdiff \| tree \| snapshot
2007-11-23	Enrico Tassi	fast and sound registry lists	commit \| commitdiff \| tree \| snapshot
2007-11-23	Stefano Zacchiroli	* NOT RELEASED YET	commit \| commitdiff \| tree \| snapshot
2007-11-23	Stefano Zacchiroli	* bump deps on lablgtk2 to match lates upstream	commit \| commitdiff \| tree \| snapshot
2007-11-22	Enrico Tassi	lemma finisced	commit \| commitdiff \| tree \| snapshot
2007-11-22	Claudio Sacerdoti...	Bug fixed in printing of passes in error messages.	commit \| commitdiff \| tree \| snapshot
2007-11-22	Enrico Tassi	lemma 3.57 half done!!!!	commit \| commitdiff \| tree \| snapshot
2007-11-22	Enrico Tassi	notation in autogui	commit \| commitdiff \| tree \| snapshot
2007-11-22	Andrea Asperti	Big progress	commit \| commitdiff \| tree \| snapshot
2007-11-22	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2007-11-21	Claudio Sacerdoti...	Very incomplete example of simple calculus exercises...	commit \| commitdiff \| tree \| snapshot
2007-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-20	Enrico Tassi	opps, a changelog was already there	commit \| commitdiff \| tree \| snapshot
2007-11-19	Claudio Sacerdoti...	Bug fixed: local type declarations are not allowed...	commit \| commitdiff \| tree \| snapshot
2007-11-19	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-19	Andrea Asperti	Towards chebyshev.	commit \| commitdiff \| tree \| snapshot
2007-11-18	Claudio Sacerdoti...	The axiom can be proved. Just follow the hint.	commit \| commitdiff \| tree \| snapshot
2007-11-17	Enrico Tassi	fixed bugs found by csc	commit \| commitdiff \| tree \| snapshot
2007-11-17	Enrico Tassi	moved to pkg-ocaml-maint	commit \| commitdiff \| tree \| snapshot
2007-11-16	Claudio Sacerdoti...	Some notes for Enrico.	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	hidded publish-devel button, too dangerous for the...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	hidded all hbugs related stuff	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	from the tarball removed all contribs, they used to...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	nocomposites	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	compose tactic restore and added nocomposites keyword	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	more cleanup	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom