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

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

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

2005-10-25	Stefano Zacchiroli	new tacticals	blob \| commitdiff \| raw
2005-07-27	Claudio Sacerdoti...	Bug fixed: added a _undoable_action critical section...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Stefano Zacchiroli	added #proofConclusion	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	Bug solved: X-style paste (i.e. paste of the PRIMARY...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	When matita is started on a non-existent file, it avoid...	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	Bug fix: undo now respects the locked area.	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-15	Enrico Tassi	matitamake is integrated with matita	blob \| commitdiff \| raw \| diff to current
2005-07-13	Enrico Tassi	copied text is unlocked :)	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-04	Enrico Tassi	aded confirmation dialog for baseuri redefinement	blob \| commitdiff \| raw \| diff to current
2005-06-30	Stefano Zacchiroli	better handling of script names	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	added autosave and * (modified 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-05-16	Enrico Tassi	added comments, fixed history, added loadList to browser	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