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

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

2007-11-12	Enrico Tassi	since there is no more tab, the modification of the...	blob \| commitdiff \| raw
2007-11-12	Enrico Tassi	HIDDEN (since glade do not read out file properly anymo...	blob \| commitdiff \| raw \| diff to current
2007-08-25	Claudio Sacerdoti...	thread-based interface activated again	blob \| commitdiff \| raw \| diff to current
2007-07-26	Enrico Tassi	added development path normalization, inclusions with...	blob \| commitdiff \| raw \| diff to current
2007-07-20	Claudio Sacerdoti...	Initialization of matita.map_unicode_to_tex moved from...	blob \| commitdiff \| raw \| diff to current
2007-07-19	Claudio Sacerdoti...	map_unicode_to_tex is no longer optional and it always...	blob \| commitdiff \| raw \| diff to current
2007-07-19	Claudio Sacerdoti...	paste_unicode_as_tex is now false by default; moreover...	blob \| commitdiff \| raw \| diff to current
2007-07-18	Enrico Tassi	fixed coercion graph print, moved coercion graph and...	blob \| commitdiff \| raw \| diff to current
2007-07-06	Enrico Tassi	maxipatch for support of multiple DBs.	blob \| commitdiff \| raw \| diff to current
2007-05-24	Enrico Tassi	auto and autogui... some work	blob \| commitdiff \| raw \| diff to current
2007-05-09	Ferruccio Guidi	PrimitiveTactics: intros _ now aveilable	blob \| commitdiff \| raw \| diff to current
2007-04-20	Claudio Sacerdoti...	Much ado about nothing:	blob \| commitdiff \| raw \| diff to current
2007-03-16	Ferruccio Guidi	elim tactic: it needs two arguments, a term as well...	blob \| commitdiff \| raw \| diff to current
2007-03-13	Ferruccio Guidi	elim tactic: now takes a pattern instead of just a...	blob \| commitdiff \| raw \| diff to current
2007-02-09	Stefano Zacchiroli	Added toggle for enabling/disabling the conversion...	blob \| commitdiff \| raw \| diff to current
2007-02-09	Stefano Zacchiroli	- moved to the view menu toggles for coercion hiding...	blob \| commitdiff \| raw \| diff to current
2007-02-09	Claudio Sacerdoti...	Exceptions should never escape the final exception...	blob \| commitdiff \| raw \| diff to current
2007-02-09	Stefano Zacchiroli	moved the high level pretty printing setting to a toggl...	blob \| commitdiff \| raw \| diff to current
2007-01-24	Ferruccio Guidi	matitaGui: some missing cases during disambiguation...	blob \| commitdiff \| raw \| diff to current
2006-12-14	Claudio Sacerdoti...	Bugged code patched, but not in the optimal way.	blob \| commitdiff \| raw \| diff to current
2006-12-08	Claudio Sacerdoti...	Disambiguation errors in phase 3 that are not present...	blob \| commitdiff \| raw \| diff to current
2006-12-07	Stefano Zacchiroli	avoid Failure "nth" when only one disambiguation pass...	blob \| commitdiff \| raw \| diff to current
2006-12-05	Stefano Zacchiroli	experimental classification of disambiguation error...	blob \| commitdiff \| raw \| diff to current
2006-10-31	Claudio Sacerdoti...	The OK button of the disambiguation errors interface...	blob \| commitdiff \| raw \| diff to current
2006-10-31	Claudio Sacerdoti...	New behaviour of the disambiguation error messages...	blob \| commitdiff \| raw \| diff to current
2006-10-26	Claudio Sacerdoti...	Better label for the disambiguation errors window.	blob \| commitdiff \| raw \| diff to current
2006-10-26	Claudio Sacerdoti...	New (and much more complex) disambiguation error interface.	blob \| commitdiff \| raw \| diff to current
2006-10-20	Enrico Zoli	Serious bug fixed: without a Lazy.force the user obtain...	blob \| commitdiff \| raw \| diff to current
2006-10-19	Claudio Sacerdoti...	Disambiguation errors are now compressed in a maybe...	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	- Disambiguation error exception enriched with more...	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	EXPERIMENTAL: new interface for disambiguation errors.	blob \| commitdiff \| raw \| diff to current
2006-10-11	Claudio Sacerdoti...	Some hocus-pocus to avoid a common race condition ...	blob \| commitdiff \| raw \| diff to current
2006-10-11	Claudio Sacerdoti...	Unlocking the interface was not performed as the last...	blob \| commitdiff \| raw \| diff to current
2006-10-03	Claudio Sacerdoti...	Fixed handling of exceptions by the worker threads...	blob \| commitdiff \| raw \| diff to current
2006-10-03	Claudio Sacerdoti...	Bug fixed: the script Menu was not locked as expected.	blob \| commitdiff \| raw \| diff to current
2006-10-03	Claudio Sacerdoti...	The Abort button is now working properly. Cool.	blob \| commitdiff \| raw \| diff to current
2006-10-02	Claudio Sacerdoti...	Xavier code for killing a thread commented out for...	blob \| commitdiff \| raw \| diff to current
2006-10-02	Claudio Sacerdoti...	This commit implements the Abort button for the GUI...	blob \| commitdiff \| raw \| diff to current
2006-10-02	Claudio Sacerdoti...	** EXPERIMENTAL **	blob \| commitdiff \| raw \| diff to current
2006-09-21	Stefano Zacchiroli	added displaying of the dep graph of a development...	blob \| commitdiff \| raw \| diff to current
2006-07-24	Enrico Tassi	added timeout parameter to auto paramodulation.	blob \| commitdiff \| raw \| diff to current
2006-07-24	Enrico Tassi	more work on matitaprover (no more XML and buris are...	blob \| commitdiff \| raw \| diff to current
2006-06-21	Enrico Tassi	added the geniric	blob \| commitdiff \| raw \| diff to current
2006-06-01	Stefano Zacchiroli	bugfix: rely on byte count instead of mixing byte and...	blob \| commitdiff \| raw \| diff to current
2006-05-11	Claudio Sacerdoti...	Bugs fixed:	blob \| commitdiff \| raw \| diff to current
2006-05-09	Enrico Tassi	types2006 patch	blob \| commitdiff \| raw \| diff to current
2006-04-14	Enrico Tassi	the same utf8 bug as before	blob \| commitdiff \| raw \| diff to current
2006-03-17	Enrico Tassi	tests are now handled with a standard Makefile that...	blob \| commitdiff \| raw \| diff to current
2006-03-13	Enrico Tassi	Huge commit for the release. Includes:	blob \| commitdiff \| raw \| diff to current
2006-02-06	Stefano Zacchiroli	help path is no longer hard coded but relative to runti...	blob \| commitdiff \| raw \| diff to current
2006-02-06	Claudio Sacerdoti...	first sketch of the documentation (to be used by yelp)	blob \| commitdiff \| raw \| diff to current
2006-02-06	Andrea Asperti	fixed usage of matita.auto_disambiguation	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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

RSS Atom