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

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

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

2005-07-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configura...	blob \| commitdiff \| raw
2005-07-07	Enrico Tassi	tables for matita.owner are created at boot	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	Wrong merge repaired.	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	matitatop now cleans all before exiting in every situation.	blob \| commitdiff \| raw \| diff to current
2005-07-05	Enrico Tassi	function to domp moo_content is now exported	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	This commit fixes matitatop that was no longer working...	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-04	Claudio Sacerdoti...	alias declarations are now put in the .moo file.	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	Improvements in matitatop: instead of doing exit -1...	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-30	Enrico Tassi	first matitadep snapshot	blob \| commitdiff \| raw \| diff to current
2005-06-29	Claudio Sacerdoti...	A few bug fixes. In particular parsing errors in matita...	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	now baseuri is needed in each file (and its redefinitio...	blob \| commitdiff \| raw \| diff to current
2005-06-29	Claudio Sacerdoti...	Informative message corrected: MatitacLib.go () is...	blob \| commitdiff \| raw \| diff to current
2005-06-28	Enrico Tassi	better message	blob \| commitdiff \| raw \| diff to current
2005-06-28	Claudio Sacerdoti...	In case of EOI the "go ()" loop must exit!	blob \| commitdiff \| raw \| diff to current
2005-06-28	Enrico Tassi	* new binary matitatop	blob \| commitdiff \| raw \| diff to current

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

RSS Atom