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

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

2005-09-05	Claudio Sacerdoti...	Bug fixed: Invalid_argument was raised by List.combine...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	LAMBDA-TYPES moved under contrib, fixed (to use the...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Stefano Zacchiroli	bug fix for IDA: uses remote names (i.e. http://.....	commit \| commitdiff \| tree \| snapshot
2005-09-05	Ferruccio Guidi	LAMBDA-TYPES moved under contribs	commit \| commitdiff \| tree \| snapshot
2005-09-05	Enrico Tassi	The popup that asks to generate .moo for a .ma shows...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	Bug fixed: matitac used to stop too early when an ambig...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	create_owner_environment missing from matitatop initial...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Unsharing removed since it is now used in Cic2acic.	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Unsharing finally introduced (but just for object proce...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Bug fixed: sorts and implicits were not unshared correctly.	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Assert added to check whether an unsharing problem...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Serious bug fixed previously introduced by me in the...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Stupid typo fixed.	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Missing initialization of the trusting function (for...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Unused index (because of UNIQUE field count) dropped.	commit \| commitdiff \| tree \| snapshot
2005-09-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-01	Claudio Sacerdoti...	New index refObj_occurrence on refObj. It is required...	commit \| commitdiff \| tree \| snapshot
2005-09-01	Alberto Griggio	changed default parameter values...	commit \| commitdiff \| tree \| snapshot
2005-09-01	Claudio Sacerdoti...	Comment added.	commit \| commitdiff \| tree \| snapshot
2005-09-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-08-31	Alberto Griggio	fixed bug in compute_equality_weight caused by wrong...	commit \| commitdiff \| tree \| snapshot
2005-08-31	Claudio Sacerdoti...	Since several weeks whelp did not compile any longer...	commit \| commitdiff \| tree \| snapshot
2005-08-31	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-08-31	Claudio Sacerdoti...	( xxx ) ==> (** xxx *)	commit \| commitdiff \| tree \| snapshot
2005-08-30	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-08-30	Claudio Sacerdoti...	Bug fixed: "cic:/dummy_i" is an invalid URI (that used...	commit \| commitdiff \| tree \| snapshot
2005-08-30	Claudio Sacerdoti...	A parser for aliases implemented (required by the Whelp).	commit \| commitdiff \| tree \| snapshot
2005-08-30	Claudio Sacerdoti...	CicNotationPres self-reference (misteriously accepted...	commit \| commitdiff \| tree \| snapshot
2005-08-29	Claudio Sacerdoti...	WARNING: this commit changes the DB representation...	commit \| commitdiff \| tree \| snapshot
2005-08-29	Claudio Sacerdoti...	WARNING: this commit changes the DB representation...	commit \| commitdiff \| tree \| snapshot
2005-08-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-08-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-08-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-08-24	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-08-22	Alberto Griggio	some fixes	commit \| commitdiff \| tree \| snapshot
2005-08-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-08-22	Claudio Sacerdoti...	Comment removed.	commit \| commitdiff \| tree \| snapshot
2005-08-22	Claudio Sacerdoti...	Paramodulation bug fixed.	commit \| commitdiff \| tree \| snapshot
2005-08-22	Andrea Asperti	Added datatypes/constructors.ma	commit \| commitdiff \| tree \| snapshot
2005-08-22	Andrea Asperti	New entries in nat: factorial.ma minimization.ma primes...	commit \| commitdiff \| tree \| snapshot
2005-08-22	Andrea Asperti	Added Z/plus.ma e Z/compare.ma.	commit \| commitdiff \| tree \| snapshot
2005-08-22	Andrea Asperti	The library grows...	commit \| commitdiff \| tree \| snapshot
2005-08-22	Andrea Asperti	Added q.ma.	commit \| commitdiff \| tree \| snapshot
2005-08-18	Stefano Zacchiroli	ready for 0.1.1 release	commit \| commitdiff \| tree \| snapshot
2005-08-16	Stefano Zacchiroli	integrated Eric's patch for HTTP/1.1 persistant connections	commit \| commitdiff \| tree \| snapshot
2005-08-12	Stefano Zacchiroli	improved some comments	commit \| commitdiff \| tree \| snapshot
2005-08-05	Alberto Griggio	some bugs fixed	commit \| commitdiff \| tree \| snapshot
2005-08-01	Alberto Griggio	fixed compilation warnings	commit \| commitdiff \| tree \| snapshot
2005-08-01	Stefano Zacchiroli	added homepage URL, now we have one	commit \| commitdiff \| tree \| snapshot
2005-08-01	Stefano Zacchiroli	bumped standards version	commit \| commitdiff \| tree \| snapshot
2005-08-01	Stefano Zacchiroli	do not install empty NEWS file	commit \| commitdiff \| tree \| snapshot
2005-08-01	Stefano Zacchiroli	bumped timestemp, closed ITP	commit \| commitdiff \| tree \| snapshot
2005-07-31	Stefano Zacchiroli	filled end user information	commit \| commitdiff \| tree \| snapshot
2005-07-31	Stefano Zacchiroli	packaging cleanup: get rid of ancient debhelpers, use...	commit \| commitdiff \| tree \| snapshot
2005-07-31	Stefano Zacchiroli	ignore some autotools stuff	commit \| commitdiff \| tree \| snapshot
2005-07-31	Stefano Zacchiroli	lablgtkmathview 0.7.2	commit \| commitdiff \| tree \| snapshot
2005-07-29	Claudio Sacerdoti...	Partial bug fix: every inner type is now added to the...	commit \| commitdiff \| tree \| snapshot
2005-07-29	Claudio Sacerdoti...	0. core_notation.ma splitted into coq.moo and core_nota...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	This test stresses automatic insertion.	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	The logo is now showed in the sequents_viewer window...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Stefano Zacchiroli	- re-factoring: dropped sequentViewer in favour of...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	Logo added to the about dialog.	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	1. ProofEngineHelpers.locate_in_term, ProofEngineHelper...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	New tactic: unfold.	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	Bug fixed: unfold used to work iff the term to unfold...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	arguments of ProofEngineHelpers.replace swapped.	commit \| commitdiff \| tree \| snapshot
2005-07-28	Stefano Zacchiroli	bugfix: call add_selection_target each time selection...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	Bug fixed: locate_term_in_conjecture used to raise...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Stefano Zacchiroli	added support for (textual) cut and paste of mathml...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	New tactic unfold.	commit \| commitdiff \| tree \| snapshot
2005-07-28	Stefano Zacchiroli	added pretty printing of unicode symbols to TeX like...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Stefano Zacchiroli	added attributes re-factoring item	commit \| commitdiff \| tree \| snapshot
2005-07-28	Stefano Zacchiroli	added reverse mapping from unicode to TeX like macro...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Stefano Zacchiroli	workaround for an assertion failure during rendering...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Andrea Asperti	removed orders_op from library (now in le_arith and...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	This commit re-commits version 1.61, removing the error...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	REVERT OF MY PREVIOUS COMMIT THAT INTRODUCES A CRITICAL...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	Committing all the recent development of Andrea after...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	More notation.	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	Management of automatic insertion of aliases and "goal...	commit \| commitdiff \| tree \| snapshot
2005-07-28	Claudio Sacerdoti...	Code simplification.	commit \| commitdiff \| tree \| snapshot
2005-07-27	Claudio Sacerdoti...	Bug fixed: added a _undoable_action critical section...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Claudio Sacerdoti...	dead code removed	commit \| commitdiff \| tree \| snapshot
2005-07-27	Enrico Tassi	fixed matitamake to handle development with names with...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	refactored gui handling code so that MatitaMathView...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Enrico Tassi	matitaMisc.ml	commit \| commitdiff \| tree \| snapshot
2005-07-27	Enrico Tassi	safe mkdir implemented	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	proof of concept implementation of cut and paste from...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	renamed development related windows	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	added #proofConclusion	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom