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

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

2005-07-18	Claudio Sacerdoti...	Smart scrolling during script advancement implemented.	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	Turbo-undo implemented! It jumps directly to the final...	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	OPTIMIZE table every 30 deletions: it should help :-)	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	ANALYZE TABLE ==> OPTIMIZE TABLE	commit \| commitdiff \| tree
2005-07-12	Claudio Sacerdoti...	Debugging comment removed.	commit \| commitdiff \| tree
2005-07-12	Claudio Sacerdoti...	Benchmark fixed. It was broken by the change in the...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	Bug fixed: the left parameters of a record or inductive...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	A few .cvsignore here and there.	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	The outtype of the MutCase of the generated elimination...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	Bug fixed in check_sort_elimination in the case (not...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	Bug fixed: the generated elimination principles used...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-09	Claudio Sacerdoti...	New test suite for generalize.	commit \| commitdiff \| tree
2005-07-09	Claudio Sacerdoti...	Some terms were processed in the wrong context.	commit \| commitdiff \| tree
2005-07-09	Claudio Sacerdoti...	Generalize ported to the new select up to unification.	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Replace is now working again and it is able to match...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Elim generalized to saturate its argument.	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Elim generalized: the term to eliminate is now saturated...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Cosmetic changes: a piece of code replaced with a pre...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	dead code removed	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Bug fixed: metavariables generated by the saturation...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	The fix and cofix cases of the select were not finished...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	1. PrimitiveTactics.new_metasenv_for_apply changed...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	An impossible case changed to an assert false.	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	1. Warnings are now printed in orange (yellow was unvisible...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configuration...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antipolis...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	Names bound in lambdas can now be used in the "canonical...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	matitaclean now removes the .moo file, if existent.	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	Bug fixed: no .moo can be generated if the status is...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	Debugging message removed.	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	notify was not called when Margin was raised. Fixed.	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	matita.ma.templ must be symbolically linked	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	Bug fixed: "intros n" should fail when there are less...	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	Fixed a bug in the "do" tactical that made it diverge.	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	mk_fresh_name now returns [name] instead of its basename...	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	1. tactical "try_tacticals" renamed to "first"	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	clean did not remove matitatop*	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	* Bug fixed: "tac." was parsed as Seq [tac]	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	Shell variables are all global! Fixed a bug that prevented...	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	-rectypes missing for native code compilation	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	Some precisations on a few comments by Ferruccio.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Debugging back to false	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Wrong merge repaired.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	matitatop now cleans all before exiting in every situation.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Another "hard" test that used to fail.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Bug fixed: the outtype of a match when omitted was...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	This commit fixes matitatop that was no longer working...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	* new interface matitaTypes.mli	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	let's find the .ma files also in subdirectories	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	tests/* ==> *	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Gtk loop was called only when a proof was terminated...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Ported to separate compilation and the new getter implementa...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Baseuri changed to move replace into matita.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	re-added $(H) to matitaclean	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Fixed a bug that prevented the removal of the XML files...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	baseuri changed to move the test into the matita namespace	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	* safe_remove exported and moved to MatitaMisc	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	notification of changes is now done only at the very...	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	icons added to the list of required symbolic links	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	make clean now prints what is being removed	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	default	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	"input" was meant to be "include"	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	New command default "foo" uri1 ... urin	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	New command default "foo" uri1 ... urin	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	pretty printing of URIs	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	All the tactics have been ported to use the objects...	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	include	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	Comestic changes.	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	coercions are now stored in the .moo file.	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	Cosmetic changes.	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	New function (only partially implemented) to pretty...	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	Use eval_from_stream in place of eval_from_stream_ref...	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	include must not add aliases in the script!	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	"include" command implemented.	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	"include" command implemented.	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	alias declarations are now put in the .moo file.	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	Improvements in matitatop: instead of doing exit -1...	commit \| commitdiff \| tree
2005-07-03	Claudio Sacerdoti...	Equality tactics are now used in the first half of...	commit \| commitdiff \| tree
2005-07-02	Claudio Sacerdoti...	The equality tactics are now exploited.	commit \| commitdiff \| tree
2005-07-02	Claudio Sacerdoti...	All the equalityTactics have now been ported to use...	commit \| commitdiff \| tree
2005-07-02	Claudio Sacerdoti...	New theorem: eq_ind_r.	commit \| commitdiff \| tree
2005-07-02	Claudio Sacerdoti...	cosmetic change: a space removed (to make tests/Makefile...	commit \| commitdiff \| tree
2005-07-01	Claudio Sacerdoti...	make tests and make tests.opt now call their counterparts...	commit \| commitdiff \| tree
2005-07-01	Claudio Sacerdoti...	The tests are now in alphabetical order.	commit \| commitdiff \| tree
2005-07-01	Claudio Sacerdoti...	match.ma removed	commit \| commitdiff \| tree
2005-07-01	Claudio Sacerdoti...	* match.ma removed (it is now splitted in several files...	commit \| commitdiff \| tree
next

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

RSS Atom