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-12-02	Claudio Sacerdoti...	1. matitaEngine splitted into disambiguation (now in...	blob \| commitdiff \| raw
2005-11-30	Claudio Sacerdoti...	Implicit aliases are now defined as all the aliases...	blob \| commitdiff \| raw \| diff to current
2005-11-30	Claudio Sacerdoti...	* Undo fixed.	blob \| commitdiff \| raw \| diff to current
2005-11-29	Claudio Sacerdoti...	* Part of matita that used to deal with the library...	blob \| commitdiff \| raw \| diff to current
2005-11-28	Claudio Sacerdoti...	DisambiguationError exceptions (that have locations...	blob \| commitdiff \| raw \| diff to current
2005-11-27	Stefano Zacchiroli	removed dead code (thanks to ocaml 3.09)	blob \| commitdiff \| raw \| diff to current
2005-11-24	Stefano Zacchiroli	Reshaped structure of ocaml/ libraries, matita changed...	blob \| commitdiff \| raw \| diff to current
2005-11-23	Claudio Sacerdoti...	New implementation for localized exceptions.	blob \| commitdiff \| raw \| diff to current
2005-11-07	Stefano Zacchiroli	bugfix: no longer raise End_of_file for scripts ending...	blob \| commitdiff \| raw \| diff to current
2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	blob \| commitdiff \| raw \| diff to current
2005-10-25	Stefano Zacchiroli	new tacticals	blob \| commitdiff \| raw \| diff to current
2005-09-27	Stefano Zacchiroli	fixed some english typos	blob \| commitdiff \| raw \| diff to current
2005-09-26	Stefano Zacchiroli	- added integrity checks on .moo files	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	The new_aliases argument of the functions alias_diff...	blob \| commitdiff \| raw \| diff to current
2005-09-21	Stefano Zacchiroli	ported to the new parser interface (Ulexing.lexbuf...	blob \| commitdiff \| raw \| diff to current
2005-09-15	Claudio Sacerdoti...	Yet another implementation of the single aliases /...	blob \| commitdiff \| raw \| diff to current
2005-09-15	Stefano Zacchiroli	bugfix: save "~" backup together with the non-~ version...	blob \| commitdiff \| raw \| diff to current
2005-09-14	Enrico Tassi	bugfixes:	blob \| commitdiff \| raw \| diff to current
2005-09-13	Stefano Zacchiroli	no longer use absolute path for naming notebook labels	blob \| commitdiff \| raw \| diff to current
2005-09-13	Stefano Zacchiroli	fixed dummy_floc	blob \| commitdiff \| raw \| diff to current
2005-09-12	Stefano Zacchiroli	Added support for multiple disambiguation passes.	blob \| commitdiff \| raw \| diff to current
2005-09-06	Stefano Zacchiroli	misc fixes in cic browser queries (pretty printing...	blob \| commitdiff \| raw \| diff to current
2005-08-31	Claudio Sacerdoti...	( xxx ) ==> (** xxx *)	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	This commit re-commits version 1.61, removing the error...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	REVERT OF MY PREVIOUS COMMIT THAT INTRODUCES A CRITICAL...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	Management of automatic insertion of aliases and "goal...	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	Enrico Tassi	fixed matitamake to handle development with names with...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Enrico Tassi	matitaMisc.ml	blob \| commitdiff \| raw \| diff to current
2005-07-27	Stefano Zacchiroli	added #proofConclusion	blob \| commitdiff \| raw \| diff to current
2005-07-26	Claudio Sacerdoti...	typo fixed	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-25	Claudio Sacerdoti...	Highlighting of parse errors implemented.	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	Bug fixed: the _advance method must delete the parsed...	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-22	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2005-07-21	Claudio Sacerdoti...	Regression fixed: goto used to stop (again!) to the...	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	Nicer handling of automatic text insertion.	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	A "\n" is now prepended to the aliases that are inserte...	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	Bug fixed: we used to use iterators on a text that...	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-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