]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/mQueryGenerator.mli
Comments reindented.
[helm.git] / helm / gTopLevel / mQueryGenerator.mli
2002-10-21 natileMerge of the new_mathql branch with the main branch:
2002-09-27 Claudio Sacerdoti... Better handling of queries. Now both the locate and...
2002-09-05 Ferruccio GuidimQueryGenerator and topLevel patched
2002-09-04 Claudio Sacerdoti... The parser (the lexer indeed) now use the locate query...
2002-07-01 Ferruccio GuidimathQL modified, stderr corrected to stdout im mathql_i...
2002-06-22 Ferruccio Guidited version of mQueryGenerator (was mquery part 2)