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

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

2006-12-05	Stefano Zacchiroli	experimental classification of disambiguation error...	blob \| commitdiff \| raw
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