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

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

2005-07-29	Claudio Sacerdoti...	0. core_notation.ma splitted into coq.moo and core_nota...	blob \| commitdiff \| raw
2005-07-28	Claudio Sacerdoti...	The logo is now showed in the sequents_viewer window...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Stefano Zacchiroli	- re-factoring: dropped sequentViewer in favour of...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Stefano Zacchiroli	added support for (textual) cut and paste of mathml...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Claudio Sacerdoti...	Bug fixed: added a _undoable_action critical section...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Stefano Zacchiroli	refactored gui handling code so that MatitaMathView...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Stefano Zacchiroli	proof of concept implementation of cut and paste from...	blob \| commitdiff \| raw \| diff to current
2005-07-25	Stefano Zacchiroli	merged transformations on top of notation code	blob \| commitdiff \| raw \| diff to current
2005-07-22	Alberto Griggio	added optional "paramodulation" parameter to auto to...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Enrico Tassi	added env content debug print	blob \| commitdiff \| raw \| diff to current
2005-07-21	Alberto Griggio	integration with paramodulation	blob \| commitdiff \| raw \| diff to current
2005-07-20	Stefano Zacchiroli	fixed typo in 'leq interpretation uri which enable...	blob \| commitdiff \| raw \| diff to current
2005-07-19	Enrico Tassi	blocked undo of authomatic text (template)	blob \| commitdiff \| raw \| diff to current
2005-07-18	Claudio Sacerdoti...	Smart scrolling during script advancement implemented.	blob \| commitdiff \| raw \| diff to current
2005-07-18	Stefano Zacchiroli	added too .moo files notation related statements	blob \| commitdiff \| raw \| diff to current
2005-07-18	Stefano Zacchiroli	merged cic_notation with matita: good luck!	blob \| commitdiff \| raw \| diff to current
2005-07-15	Enrico Tassi	matitamake is integrated with matita	blob \| commitdiff \| raw \| diff to current
2005-07-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configura...	blob \| commitdiff \| raw \| diff to current
2005-07-07	Enrico Tassi	tables for matita.owner are created at boot	blob \| commitdiff \| raw \| diff to current
2005-07-05	Stefano Zacchiroli	ported to new getter interface	blob \| commitdiff \| raw \| diff to current
2005-07-04	Enrico Tassi	aded confirmation dialog for baseuri redefinement	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	* match.ma removed (it is now splitted in several files...	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	added autosave and * (modified feature)	blob \| commitdiff \| raw \| diff to current
2005-06-18	Enrico Tassi	fixed increase/decrease size feature	blob \| commitdiff \| raw \| diff to current
2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	blob \| commitdiff \| raw \| diff to current
2005-06-16	Enrico Tassi	added decrease and increase font size fantafeature	blob \| commitdiff \| raw \| diff to current
2005-06-13	Stefano Zacchiroli	integrated lablgtksourceview	blob \| commitdiff \| raw \| diff to current
2005-06-09	Enrico Tassi	added debug item for coercion	blob \| commitdiff \| raw \| diff to current
2005-06-08	Stefano Zacchiroli	added icons to entries shown in cicbrowser so that...	blob \| commitdiff \| raw \| diff to current
2005-05-31	Enrico Tassi	new shortcuts	blob \| commitdiff \| raw \| diff to current
2005-05-30	Enrico Tassi	mah...matita.ml	blob \| commitdiff \| raw \| diff to current
2005-05-27	Stefano Zacchiroli	- commented out no longer needed macros Redo, Undo...	blob \| commitdiff \| raw \| diff to current
2005-05-16	Enrico Tassi	added comments, fixed history, added loadList to browser	blob \| commitdiff \| raw \| diff to current
2005-04-29	Enrico Tassi	added dump/restore environment to the debug menu	blob \| commitdiff \| raw \| diff to current
2005-04-28	Enrico Tassi	attached macros: hint(partial), check	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	checked in new version of matita from svn	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	removed all old matita files (kept in attic)	blob \| commitdiff \| raw
2005-02-10	Stefano Zacchiroli	moved a debug print so that it is executed for each...	blob \| commitdiff \| raw \| diff to current
2005-02-10	Stefano Zacchiroli	bugfix: avoid executing tactic for the script twice	blob \| commitdiff \| raw \| diff to current
2005-02-09	Stefano Zacchiroli	added script support a la coqide	blob \| commitdiff \| raw \| diff to current
2005-02-07	Stefano Zacchiroli	added support for directory browsing in cicBrowser	blob \| commitdiff \| raw \| diff to current
2005-02-04	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-02-03	Enrico Tassi	fixed currentproof	blob \| commitdiff \| raw \| diff to current
2005-02-03	Enrico Tassi	better owner hadling	blob \| commitdiff \| raw \| diff to current
2005-02-03	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-02-01	Stefano Zacchiroli	added (linked to matita) executable cicbrowser: when...	blob \| commitdiff \| raw \| diff to current
2005-02-01	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-01-21	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-01-20	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-01-18	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-01-11	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-12-03	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-11-15	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-11-11	Stefano Zacchiroli	snapshot:	blob \| commitdiff \| raw \| diff to current
2004-11-09	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-11-05	Stefano Zacchiroli	filled toolbar and implemented buttons behaviours	blob \| commitdiff \| raw \| diff to current
2004-11-03	Stefano Zacchiroli	snapshot (notably: ported to mysql instead of dbi)	blob \| commitdiff \| raw \| diff to current
2004-10-27	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-10-13	Stefano Zacchiroli	snapshot, notably history no longer remember annotation...	blob \| commitdiff \| raw \| diff to current
2004-10-06	Stefano Zacchiroli	snapshot (notably: implemented "check")	blob \| commitdiff \| raw \| diff to current
2004-10-04	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-10-01	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-10-01	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-05-04	Stefano Zacchiroli	snapshot (notably: first working version of the console)	blob \| commitdiff \| raw \| diff to current
2004-04-30	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-29	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-28	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-23	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-22	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-22	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-20	Stefano Zacchiroli	renamed mathita to matita	blob \| commitdiff \| raw \| diff to current

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

RSS Atom