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

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

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

2005-07-22	Enrico Tassi	add_obj is ATOMIC	blob \| commitdiff \| raw
2005-07-21	Claudio Sacerdoti...	MatitaSync.remove must remove the objects also from...	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	Pretty printing of the disambiguation environment no...	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-13	Enrico Tassi	matitamake stuff:	blob \| commitdiff \| raw \| diff to current
2005-07-11	Andrea Asperti	aliases are now compared not only looking at the domain...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	* new interface matitaTypes.mli	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	* safe_remove exported and moved to MatitaMisc	blob \| commitdiff \| raw \| diff to current
2005-07-05	Stefano Zacchiroli	ported to new getter interface	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" command implemented.	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	first snapshot of separate compilation	blob \| commitdiff \| raw \| diff to current
2005-06-30	Enrico Tassi	matitaclean anapshot	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...	more strings to UriManager.uri	blob \| commitdiff \| raw \| diff to current
2005-06-16	Claudio Sacerdoti...	Dead code clean-up.	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	blob \| commitdiff \| raw \| diff to current
2005-06-10	Enrico Tassi	added records	blob \| commitdiff \| raw \| diff to current
2005-06-07	Enrico Tassi	added coercions	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

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

RSS Atom