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

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

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
2005-07-27	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	added get_proof_conclusione and list_tl_at	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	highlighted notation keywords	commit \| commitdiff \| tree \| snapshot
2005-07-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	fixed cic_notation dependencies	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	better boxes (with more line breaking hints) for object...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	* empty log message *	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	bugfix: added xref on ast built via pattern matching...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	added id_of_annterm: Cic.annterm -> Cic.id	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	bugfix: no more xref on bound names	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	added low level rendering attributes (indent, spacing...	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	rendering from markup to string	commit \| commitdiff \| tree \| snapshot
2005-07-27	Stefano Zacchiroli	improved debugging pretty printing of xref	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	"Coq's " prefix added to every interpretation.	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	Flickering bug fixed.	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	locate_in_term generalized to locate_in_conjecture	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	Comments added.	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	Bug solved: the #reparent method of Gtk should NOT...	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	Implementation of locate_in finished.	commit \| commitdiff \| tree \| snapshot
2005-07-26	Stefano Zacchiroli	typo s/\\OF/\\of/	commit \| commitdiff \| tree \| snapshot
2005-07-26	Stefano Zacchiroli	fixed typo in helpers for generating hv and hov boxes	commit \| commitdiff \| tree \| snapshot
2005-07-26	Stefano Zacchiroli	draft version of locate_in_term	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-26	Stefano Zacchiroli	unreleased version of the bindings, with more gtkmathvi...	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	** Experimental: **	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	typo fixed	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	"Coq's " prefix added to every interpretation.	commit \| commitdiff \| tree \| snapshot
2005-07-26	Claudio Sacerdoti...	Bug fixed: list_uniq o List.sort used in the lookup...	commit \| commitdiff \| tree \| snapshot
2005-07-26	Enrico Tassi	bigger disambiguate chiuches win	commit \| commitdiff \| tree \| snapshot
2005-07-26	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	More notation (up to where the open bugs allow me to...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	A little bit more of notation here and there.	commit \| commitdiff \| tree \| snapshot
2005-07-25	Ferruccio Guidi	some more changes and corrections	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	Notation for equality used everywhere.	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	Bug solved: X-style paste (i.e. paste of the PRIMARY...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	paramodulation added.	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	Highlighting of parse errors implemented.	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	Code simplification.	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	Bug fixed: the _advance method must delete the parsed...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	1. select_all added to the Edit menu; no shortcut for...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	The edit menu items (copy/cut/delete/paste) are now...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	- MatitaLog output redirected to stderr for every messa...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Enrico Tassi	building/cleaning a devel now makes buttons insensitive	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-25	Stefano Zacchiroli	merged transformations on top of notation code	commit \| commitdiff \| tree \| snapshot
2005-07-25	Stefano Zacchiroli	handle multiple href	commit \| commitdiff \| tree \| snapshot
2005-07-25	Stefano Zacchiroli	added split	commit \| commitdiff \| tree \| snapshot
2005-07-25	Stefano Zacchiroli	implemented transformations on top of notation code	commit \| commitdiff \| tree \| snapshot
2005-07-25	Stefano Zacchiroli	moved add_xml_declaration here	commit \| commitdiff \| tree \| snapshot
2005-07-25	Stefano Zacchiroli	- addded unicode_of_tex	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	Paramodulation initialized.	commit \| commitdiff \| tree \| snapshot
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-22	Alberto Griggio	added optional "paramodulation" parameter to auto to...	commit \| commitdiff \| tree \| snapshot
2005-07-22	Alberto Griggio	added optional "paramodulation" parameter to auto to...	commit \| commitdiff \| tree \| snapshot
2005-07-22	Alberto Griggio	- better exception handling	commit \| commitdiff \| tree \| snapshot
2005-07-22	Claudio Sacerdoti...	When matita is started on a non-existent file, it avoid...	commit \| commitdiff \| tree \| snapshot
2005-07-22	Claudio Sacerdoti...	Original semantics of a now almost random piece of...	commit \| commitdiff \| tree \| snapshot
2005-07-22	Andrea Asperti	An object should be removed from disk (i.e. from the...	commit \| commitdiff \| tree \| snapshot
2005-07-22	Andrea Asperti	CicEnvironment.remove did not remove the object from...	commit \| commitdiff \| tree \| snapshot
2005-07-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-07-22	Andrea Asperti	Removed debugging print.	commit \| commitdiff \| tree \| snapshot
2005-07-22	Claudio Sacerdoti...	matitaclean all now destroys the .matita/xml directory	commit \| commitdiff \| tree \| snapshot
2005-07-22	Claudio Sacerdoti...	Big changes:	commit \| commitdiff \| tree \| snapshot
2005-07-22	Enrico Tassi	add_obj is ATOMIC	commit \| commitdiff \| tree \| snapshot
2005-07-22	Enrico Tassi	some prerr to better understand the mkdir -p error	commit \| commitdiff \| tree \| snapshot
2005-07-22	Enrico Tassi	added env content debug print	commit \| commitdiff \| tree \| snapshot
2005-07-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	added some typechecks to avoid using equations with...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	dependencies	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	removed .depend from .cvsignore	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	added some typechecks to avoid using equations with...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	added CicNotation.load_notation call to disambiguate...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	if paramodulation fails, go on with the normal auto...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	Bug fixed: LICENSE and AUTHORS were searched in the...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	Regression fixed: goto used to stop (again!) to the...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	S_pred moved from Z/times.ma to nat/orders.ma	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	MatitaSync.remove must remove the objects also from...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	removed old broken code	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	integration with paramodulation	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	integration with paramodulation	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	modifications/fixes for the integration with auto	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	entry point of the stand-alone saturate	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	added paramodulation package	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	Comment "comments" removed from the outbox :-)	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Better tooltips.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Tooltip removed.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	View tactics bar ==> Show tactics bar	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	After a goto the focus is now grabbed back by the inser...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom