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

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

2003-05-20	Ferruccio Guidi	MathQL query generator: new interface	blob \| commitdiff \| raw
2003-04-30	Ferruccio Guidi	MQueryInterpreter: interface updated	blob \| commitdiff \| raw \| diff to current
2003-03-14	Claudio Sacerdoti...	First committed version that (may) use the MathML edito...	blob \| commitdiff \| raw \| diff to current
2003-02-20	Stefano Zacchiroli	fixed references to functions moved from Misc to MQueryMisc	blob \| commitdiff \| raw \| diff to current
2003-02-03	Ferruccio Guidi	patches for the new interface of text_of_query/text_of...	blob \| commitdiff \| raw \| diff to current
2003-01-30	Claudio Sacerdoti...	Minor code reorganization:	blob \| commitdiff \| raw \| diff to current
2003-01-21	Claudio Sacerdoti...	New module Disambiguate to hold:	blob \| commitdiff \| raw \| diff to current

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