]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/topLevel
A first partial implementation of deleting is introduced. The user might
[helm.git] / helm / gTopLevel / topLevel /
2002-10-31 Ferruccio GuidiMQueryGenerator ported to use fun "objectName"
2002-10-22 Ferruccio GuiditopLevel updated to use mqint set_database and get_database
2002-10-21 Claudio Sacerdoti... No more useful
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-13 Ferruccio Guidirestricted mode to use when the database is down :)
2002-09-05 Ferruccio GuidimQueryGenerator and topLevel patched
2002-09-05 Ferruccio Guidisome small improvements: command line sintax changed...
2002-07-01 Ferruccio GuidimathQL modified, stderr corrected to stdout im mathql_i...