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

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

2008-01-22	Wilmer Ricciotti	Bertrand's conjecture (weak), some work in progress	commit \| commitdiff \| tree \| snapshot
2008-01-21	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-01-21	Claudio Sacerdoti...	Matitac now accepts multiple targets :-) (but only...	commit \| commitdiff \| tree \| snapshot
2008-01-21	Claudio Sacerdoti...	Hack for code extraction re-linked, but disactivated.	commit \| commitdiff \| tree \| snapshot
2008-01-21	Claudio Sacerdoti...	Old tiny freescale experiment get rid of.	commit \| commitdiff \| tree \| snapshot
2008-01-21	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree \| snapshot
2008-01-21	Enrico Tassi	snopshot before isabellization	commit \| commitdiff \| tree \| snapshot
2008-01-16	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-01-16	Enrico Tassi	3.27 ok	commit \| commitdiff \| tree \| snapshot
2008-01-16	Enrico Tassi	yes! the lattice_(#) -> prelattice(<) -> lattice(<...	commit \| commitdiff \| tree \| snapshot
2008-01-15	Wilmer Ricciotti	update: upper bound for prim	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	more lemmas, til 3.26	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	new deps	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	first lemma	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	fixed a pulback and proved 3.17	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	added some doc	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	user time is now printed correctly	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	better parsing of the root file	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	fixed uris	commit \| commitdiff \| tree \| snapshot
2008-01-14	Wilmer Ricciotti	Chebyshev's upper bound on prim	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	removed path for contribs	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	added a warning when a file is not compiled cause its...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	Make does not even try to build files that would be...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	I'll talk again with ferruccio, for the moment this...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	another fix to make it more resistant	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	many sed to use notation for rewriting	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	.opt before .byte	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	ugly hack to make matitac not exit when called on a...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	added a warning if the baseuri we want to clean is...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	-dot fixed, now the .dot file contains also edges	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	increased timout	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	removed useless assertion	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	increased a timeout, matitac (not .opt) should be able...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	added Sys.catch_break true	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	cache for mtime of files is not polluted with None...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	Make was caching too much, thus some targets were not...	commit \| commitdiff \| tree \| snapshot
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	commit \| commitdiff \| tree \| snapshot
2008-01-03	Enrico Tassi	implementation of the make algorithm, still unfinished.	commit \| commitdiff \| tree \| snapshot
2007-12-29	Stefano Zacchiroli	* use findlib to pass -I flags down to ocamldoc, instea...	commit \| commitdiff \| tree \| snapshot
2007-12-29	Stefano Zacchiroli	* bump standards-version, no changes needed	commit \| commitdiff \| tree \| snapshot
2007-12-29	Stefano Zacchiroli	* convert the package to a non-native Debian package	commit \| commitdiff \| tree \| snapshot
2007-12-28	Stefano Zacchiroli	* debian/rules: instead of passing explicit -I flags...	commit \| commitdiff \| tree \| snapshot
2007-12-28	Stefano Zacchiroli	overwrite old symlink upon dist	commit \| commitdiff \| tree \| snapshot
2007-12-28	Stefano Zacchiroli	ignore tons of generated stuff	commit \| commitdiff \| tree \| snapshot
2007-12-28	Stefano Zacchiroli	* convert package to a non-native one (closes: #457353)	commit \| commitdiff \| tree \| snapshot
2007-12-28	Stefano Zacchiroli	* promote Vcs-* fields to real debian/control fields	commit \| commitdiff \| tree \| snapshot
2007-12-21	Wilmer Ricciotti	beginning proof of chebyshev's bound on prim.	commit \| commitdiff \| tree \| snapshot
2007-12-19	Enrico Tassi	accepts the poly shape for gviz maps	commit \| commitdiff \| tree \| snapshot
2007-12-17	Wilmer Ricciotti	upper bound for logarithmic summation	commit \| commitdiff \| tree \| snapshot
2007-12-17	Andrea Asperti	A few more lemmas.	commit \| commitdiff \| tree \| snapshot
2007-12-16	Claudio Sacerdoti...	Much more verbose statistics.	commit \| commitdiff \| tree \| snapshot
2007-12-16	Claudio Sacerdoti...	Bug fixed: \n prevented recognition.	commit \| commitdiff \| tree \| snapshot
2007-12-13	Andrea Asperti	Some inequalities.	commit \| commitdiff \| tree \| snapshot
2007-12-12	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2007-12-12	Stefano Zacchiroli	add support for adding identifiers instead of only...	commit \| commitdiff \| tree \| snapshot
2007-12-11	Andrea Asperti	Partial progress.	commit \| commitdiff \| tree \| snapshot
2007-12-10	Enrico Tassi	more chosmetic	commit \| commitdiff \| tree \| snapshot
2007-12-10	Andrea Asperti	Main result for e.	commit \| commitdiff \| tree \| snapshot
2007-12-10	Enrico Tassi	sandeich lemma makeup	commit \| commitdiff \| tree \| snapshot
2007-12-10	Andrea Asperti	Restructuring.	commit \| commitdiff \| tree \| snapshot
2007-12-10	Andrea Asperti	Main inequalities for e.	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom