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

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

2005-07-04	Claudio Sacerdoti...	"include" command implemented.	blob \| commitdiff \| raw
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.