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-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	blob \| commitdiff \| raw
2005-09-23	Stefano Zacchiroli	"verbose" argument of remove is now optional (default...	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	Less feedback during removal of objects.	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	save_object_to_disk profiler fixed	blob \| commitdiff \| raw \| diff to current
2005-09-23	Enrico Tassi	universes are saved to disk	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	The disambiguation now returns the aliases diff. It...	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	Claudio Sacerdoti...	We do not longer generate inner-types and inner-sorts...	blob \| commitdiff \| raw \| diff to current
2005-09-20	Claudio Sacerdoti...	More profiling code added.	blob \| commitdiff \| raw \| diff to current
2005-09-20	Claudio Sacerdoti...	More profiling code inserted.	blob \| commitdiff \| raw \| diff to current
2005-09-19	Claudio Sacerdoti...	More profiling code.	blob \| commitdiff \| raw \| diff to current
2005-09-19	Claudio Sacerdoti...	Great speed-up in alias_diff (about 3x).	blob \| commitdiff \| raw \| diff to current
2005-09-19	Claudio Sacerdoti...	A bit of profiling functions added here and there.	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-13	Stefano Zacchiroli	- changed moo representation in MatitaTypes.status...	blob \| commitdiff \| raw \| diff to current
2005-09-12	Stefano Zacchiroli	Added support for multiple disambiguation passes.	blob \| commitdiff \| raw \| diff to current
2005-07-22	Enrico Tassi	add_obj is ATOMIC	blob \| commitdiff \| raw \| diff to current
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