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-12-03	Claudio Sacerdoti...	metadata are no longer stored in .moo files.	blob \| commitdiff \| raw
2005-12-02	Claudio Sacerdoti...	1. matitaEngine splitted into disambiguation (now in...	blob \| commitdiff \| raw \| diff to current
2005-11-29	Claudio Sacerdoti...	* Part of matita that used to deal with the library...	blob \| commitdiff \| raw \| diff to current
2005-11-23	Claudio Sacerdoti...	New implementation for localized exceptions.	blob \| commitdiff \| raw \| diff to current
2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	blob \| commitdiff \| raw \| diff to current
2005-10-25	Enrico Tassi	fixed -debug	blob \| commitdiff \| raw \| diff to current
2005-10-05	Stefano Zacchiroli	completed support for "-nodb", now also matitaclean...	blob \| commitdiff \| raw \| diff to current
2005-10-05	Stefano Zacchiroli	- added support for "-nodb" flag (still missing support...	blob \| commitdiff \| raw \| diff to current
2005-09-26	Stefano Zacchiroli	- added integrity checks on .moo files	blob \| commitdiff \| raw \| diff to current
2005-09-23	Stefano Zacchiroli	changed .moo format on disk: no longer plain strings...	blob \| commitdiff \| raw \| diff to current
2005-09-21	Stefano Zacchiroli	ported to the new parser interface (Ulexing.lexbuf...	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	all initialization code is now in the new matitaInit...	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	matitadep now parses notation.	blob \| commitdiff \| raw \| diff to current
2005-09-19	Stefano Zacchiroli	splitted command line arguments among debugging and...	blob \| commitdiff \| raw \| diff to current
2005-09-15	Stefano Zacchiroli	added -debug flag which avoid catching top-level except...	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-06	Stefano Zacchiroli	misc fixes in cic browser queries (pretty printing...	blob \| commitdiff \| raw \| diff to current
2005-09-05	Claudio Sacerdoti...	create_owner_environment missing from matitatop initial...	blob \| commitdiff \| raw \| diff to current
2005-09-02	Claudio Sacerdoti...	Stupid typo fixed.	blob \| commitdiff \| raw \| diff to current
2005-09-02	Claudio Sacerdoti...	Missing initialization of the trusting function (for...	blob \| commitdiff \| raw \| diff to current
2005-07-19	Enrico Tassi	matitac now automatically cleans a non empty baseuri	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	Ctrl^D in matitatop fixed (was broken by the new parser...	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-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configura...	blob \| commitdiff \| raw \| diff to current
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