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

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

2022-12-30	Claudio Sacerdoti...	Porting to ocaml 5	blob \| commitdiff \| raw
2010-12-28	Claudio Sacerdoti...	Interface reduction; code clean up.	blob \| commitdiff \| raw \| diff to current
2010-12-21	Claudio Sacerdoti...	When switching to a new script, the other parts of...	blob \| commitdiff \| raw \| diff to current
2010-12-21	Claudio Sacerdoti...	VERY EXPERIMENTAL:	blob \| commitdiff \| raw \| diff to current
2010-12-20	Claudio Sacerdoti...	Large commit: refactoring of the code of the interface.	blob \| commitdiff \| raw \| diff to current
2010-12-19	Claudio Sacerdoti...	Class mathViewer got rid of. The circular dependency...	blob \| commitdiff \| raw \| diff to current
2010-12-18	Claudio Sacerdoti...	1) matitaMathView.ml splitted into cicMathView.ml ...	blob \| commitdiff \| raw \| diff to current
2010-12-17	Claudio Sacerdoti...	This commit simplifies the interfaces of the various...	blob \| commitdiff \| raw \| diff to current
2010-10-01	Andrea Asperti	MathML widget no longer used. Requesciat in pacem	blob \| commitdiff \| raw \| diff to current
2010-09-30	Claudio Sacerdoti...	Stuff moved from old Matita.	blob \| commitdiff \| raw \| diff to current

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