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

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

2005-07-08	no author	This commit was manufactured by cvs2svn to create tag... V_0_7_1	commit \| commitdiff \| tree \| snapshot
2005-07-08	Stefano Zacchiroli	version 0.7.1	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	The fix and cofix cases of the select were not finished...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	1. PrimitiveTactics.new_metasenv_for_apply changed...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	An impossible case changed to an assert false.	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	added some other items	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	added some todo items	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	1. Warnings are now printed in orange (yellow was unvis...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	apply_tac now catches TypeChecerFailure and raises...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	fixed auto when the context has some deleted hypothesis	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configura...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	Names bound in lambdas can now be used in the "canonica...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Andrea Asperti	Check function for Matita name convention.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Andrea Asperti	Raising an error on a bad theorem name.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	- new upstream release	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	s/debian\//debian/: avoid issue on make dist with new...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	bumped version to 0.0.7	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	enable static binding of C/OCaml glue code	commit \| commitdiff \| tree \| snapshot
2005-07-07	Ferruccio Guidi	another bug of auto	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	$ matita filename	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	added test for elim	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	tab -> spaces	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	alim of now resets the counter	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	matitaclean now removes the .moo file, if existent.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	env creation fix	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	Bug fixed: no .moo can be generated if the status is...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	Debugging message removed.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	now tables are recreated if needed and mattiaclean...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	notify was not called when Margin was raised. Fixed.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	tables for matita.owner are created at boot	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	fixed according to the new fresh name generator	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	matita.ma.templ must be symbolically linked	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	fixed a problem when newScript was called	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	removed gdom2 dep	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	- bugfix: correctly handle real "index.theory"	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	Bug fixed: "intros n" should fail when there are less...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	added index.theory handling	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	Fixed a bug in the "do" tactical that made it diverge.	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	mk_fresh_name now returns [name] instead of its basenam...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	no longer handle Shell exceptions (no more used by...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	added backtick function	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	no longer uses Shell library	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	- updated META dependencies (no more dbm, no more shell)	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	uses mowgli's getter conffile as sample	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	some more tests	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	reimplemented on top of latest getter library (no more...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	bugfix: leave ".theory" suffix in place for theory...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	help string in sync with available commands	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	- handle prefixes on the same line in conffile	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	check on baseuri	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	added tests for contructor and clearbody	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	1. tactical "try_tacticals" renamed to "first"	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	clean did not remove matitatop*	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	added test for change	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	added test for assumption	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	clear now fails if the hypothesys doesnt exist, and...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	added support for multiple binding of the same prefix...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	added script template	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	do not .body/.types/.proof_tree files from ls output	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	- bugfix in cache handling for remote resources	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	now it doesn't try to apply a cleared hypothesis	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	better exception handling for HTTP errors	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	* Bug fixed: "tac." was parsed as Seq [tac]	commit \| commitdiff \| tree \| snapshot
2005-07-06	Ferruccio Guidi	fix please	commit \| commitdiff \| tree \| snapshot
2005-07-06	Enrico Tassi	matita now asks to save .moo if possible or cleans...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	added docu comment	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	typo fixed: s/msemantics/semantics/	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	removed (wrong) output encoding iso-8859-1	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	Shell variables are all global! Fixed a bug that preven...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	-rectypes missing for native code compilation	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	Some precisations on a few comments by Ferruccio.	commit \| commitdiff \| tree \| snapshot
2005-07-05	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-07-05	Ferruccio Guidi	name specifications added for elim_intros, elim_intros_...	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	Debugging back to false	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	Wrong merge repaired.	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	matitatop now cleans all before exiting in every situation.	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	Another "hard" test that used to fail.	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	Bug fixed: the outtype of a match when omitted was...	commit \| commitdiff \| tree \| snapshot
2005-07-05	Enrico Tassi	function to domp moo_content is now exported	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	This commit fixes matitatop that was no longer working...	commit \| commitdiff \| tree \| snapshot
2005-07-05	Enrico Tassi	now the moo contains also composed coercions (and It...	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	* new interface matitaTypes.mli	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	let's find the .ma files also in subdirectories	commit \| commitdiff \| tree \| snapshot
2005-07-05	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	tests/* ==> *	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	Gtk loop was called only when a proof was terminated...	commit \| commitdiff \| tree \| snapshot
2005-07-05	Ferruccio Guidi	id ;-) and lapply patched	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	Ported to separate compilation and the new getter imple...	commit \| commitdiff \| tree \| snapshot
2005-07-05	Enrico Tassi	added mark moving refresh	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	Baseuri changed to move replace into matita.	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	re-added $(H) to matitaclean	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	Fixed a bug that prevented the removal of the XML files...	commit \| commitdiff \| tree \| snapshot
2005-07-05	Claudio Sacerdoti...	baseuri changed to move the test into the matita namespace	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom