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

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

[helm.git] / helm / matita / matitaScript.ml

2005-07-19	Claudio Sacerdoti...	Bug fix: undo now respects the locked area.	blob \| commitdiff \| raw
2005-07-19	Enrico Tassi	blocked undo of authomatic text (template)	blob \| commitdiff \| raw \| diff to current
2005-07-19	Enrico Tassi	matitac now automatically cleans a non empty baseuri	blob \| commitdiff \| raw \| diff to current
2005-07-18	Claudio Sacerdoti...	Bug fixed: clicking on a new position while advancing...	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	Claudio Sacerdoti...	Turbo-undo implemented! It jumps directly to the final...	blob \| commitdiff \| raw \| diff to current
2005-07-18	Enrico Tassi	compilation of needed modules now outputs to the log...	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	fixed a specific case in development handling	blob \| commitdiff \| raw \| diff to current
2005-07-15	Enrico Tassi	matitamake is integrated with matita	blob \| commitdiff \| raw \| diff to current
2005-07-13	Enrico Tassi	all interface is locked during advance/retract	blob \| commitdiff \| raw \| diff to current
2005-07-13	Enrico Tassi	fixed lock mark	blob \| commitdiff \| raw \| diff to current
2005-07-13	Enrico Tassi	copied text is unlocked :)	blob \| commitdiff \| raw \| diff to current
2005-07-11	Enrico Tassi	added a flag to do the check of alredy-proved-theorem	blob \| commitdiff \| raw \| diff to current
2005-07-08	Enrico Tassi	it seems the sequent window is refreshed properly now	blob \| commitdiff \| raw \| diff to current
2005-07-07	Claudio Sacerdoti...	Debugging message removed.	blob \| commitdiff \| raw \| diff to current
2005-07-07	Claudio Sacerdoti...	notify was not called when Margin was raised. Fixed.	blob \| commitdiff \| raw \| diff to current
2005-07-07	Enrico Tassi	fixed a problem when newScript was called	blob \| commitdiff \| raw \| diff to current
2005-07-06	Enrico Tassi	added script template	blob \| commitdiff \| raw \| diff to current
2005-07-06	Enrico Tassi	matita now asks to save .moo if possible or cleans...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	Gtk loop was called only when a proof was terminated...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Enrico Tassi	added mark moving refresh	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	notification of changes is now done only at the very...	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-04	Claudio Sacerdoti...	include must not add aliases in the script!	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	"include" command implemented.	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	alias declarations are now put in the .moo file.	blob \| commitdiff \| raw \| diff to current
2005-06-30	Stefano Zacchiroli	better handling of script names	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	fixed save/exit stuff	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	added autosave and * (modified feature)	blob \| commitdiff \| raw \| diff to current
2005-06-23	Enrico Tassi	Much simpler (and slightly more performant) implementat...	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-07	Enrico Tassi	added coercions	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	some cosmetic fixes	blob \| commitdiff \| raw \| diff to current
2005-05-31	Enrico Tassi	new shortcuts	blob \| commitdiff \| raw \| diff to current
2005-05-30	Andrea Asperti	added automathic aliases.	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-18	Enrico Tassi	fixed some macros, added test_abort.ma	blob \| commitdiff \| raw \| diff to current
2005-05-17	Enrico Tassi	fixed whelp bar	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-05-03	Enrico Tassi	added instance	blob \| commitdiff \| raw \| diff to current
2005-05-02	Enrico Tassi	added Match (partially) and sync with the count table	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	bugfix: method 'advance' now took in input concrete...	blob \| commitdiff \| raw \| diff to current
2005-02-09	Stefano Zacchiroli	added script support a la coqide	blob \| commitdiff \| raw \| diff to current

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

RSS Atom