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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

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

2005-11-30	Claudio Sacerdoti...	moved coercions away (work in progress)	blob \| commitdiff \| raw
2005-11-29	Claudio Sacerdoti...	* Part of matita that used to deal with the library...	blob \| commitdiff \| raw \| diff to current
2005-09-23	Stefano Zacchiroli	"verbose" argument of remove is now optional (default...	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-07-21	Claudio Sacerdoti...	MatitaSync.remove must remove the objects also from...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	* new interface matitaTypes.mli	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	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-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-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.