]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/gTopLevel.ml
MQueryInterpreter: interface updated
[helm.git] / helm / gTopLevel / gTopLevel.ml
2003-04-30 Ferruccio GuidiMQueryInterpreter: interface updated
2003-04-23 Ferruccio Guidi- New interface for the MathQL interpreter (1.3 version)
2003-04-16 Claudio Sacerdoti... * Hbugs interface clean-up.
2003-04-04 Stefano Zacchiroli- no more CSCisms for MathML editor: now use mathml...
2003-03-19 Claudio Sacerdoti... I now register the gdome2-xslt call-back functions...
2003-03-14 Claudio Sacerdoti... First committed version that (may) use the MathML edito...
2003-02-20 Stefano Zacchiroli- added HBugs support
2003-02-04 Michele GalatàAdded buttons for new tactics Injection and Discriminate
2003-02-03 Ferruccio Guidipatches for the new interface of text_of_query/text_of...
2003-01-31 Claudio Sacerdoti... The scratch window is now based on the sequent_viewer...
2003-01-31 Claudio Sacerdoti... Major module reorganization:
2003-01-30 Claudio Sacerdoti... 1. helmns and domImpl moved to the misc module ;-(
2003-01-30 Claudio Sacerdoti... Minor code reorganization:
2003-01-29 Claudio Sacerdoti... Tactics button rearranged.
2003-01-29 Claudio Sacerdoti... Clear and ClearBody moved to the pop-up menu.
2003-01-29 Claudio Sacerdoti... Added a callback to the generalize tactic to generate...
2003-01-29 Claudio Sacerdoti... Generalize now works on a list of convertible terms...
2003-01-29 Claudio Sacerdoti... Generalize tactic moved to the contextual menu.
2003-01-29 Claudio Sacerdoti... New: we now have a new pop-up menu for the reduction...
2003-01-29 Claudio Sacerdoti... 1. All the reduction tactics have been modified to...
2003-01-29 Claudio Sacerdoti... Multiple selection is now enabled in the goal and check...
2003-01-29 Claudio Sacerdoti... maction toggle restored
2003-01-29 Claudio Sacerdoti... Optional callbacks have been added to tactics that...
2003-01-28 Claudio Sacerdoti... Decompose now has a new parameter which is the callback...
2003-01-27 Luca Padovani* very small fixes here and there
2003-01-24 Michele GalatàAdded Decompose tactic
2003-01-21 Claudio Sacerdoti... New module Disambiguate to hold:
2002-12-23 Claudio Sacerdoti... Ambiguous parsing improved: refining is now used to...
2002-12-22 Claudio Sacerdoti... New: refinement is now used to disambiguate parsing.
2002-12-18 Claudio Sacerdoti... "Insert Query (Experts only)" menu item added.
2002-12-12 Claudio Sacerdoti... Minor widget rearrangement.
2002-12-12 Michele GalatàRearranged tactics in VariousTactics into new modules...
2002-12-11 Claudio Sacerdoti... * Partial checking of mutual inductive definitions...
2002-12-09 natileNow "only" constraint are more restrictive.
2002-12-09 Claudio Sacerdoti... * New button "Select only constants" to choose the...
2002-12-06 Claudio Sacerdoti... * mQueryLevel2.get_constraints now gives back only...
2002-12-06 Claudio Sacerdoti... The user interface for the completeSearchPattern query...
2002-12-04 Claudio Sacerdoti... Showing a query result which was an inductive type...
2002-12-04 Claudio Sacerdoti... Interface improvement: a window is opened to show objec...
2002-12-04 natile*** empty log message ***
2002-12-04 Claudio Sacerdoti... New feature: the user can now enter the list of "must...
2002-12-04 Claudio Sacerdoti... * mQueryLevels interface clean-up
2002-12-04 Claudio Sacerdoti... New tactic fold_simpl.
2002-12-04 Claudio Sacerdoti... * fold_tac has now a new parameter, which is the reduct...
2002-12-03 Claudio Sacerdoti... First working version of the possibility to introduce...
2002-12-03 Michele GalatàAdded new tactics: Exists, Split, Assumption, Absurd...
2002-12-01 Enrico Tassi- now esempi/fourier/ is he dir for all fourier extras
2002-11-29 natileNow MQueryGenerator generates the query and MQueryLevel...
2002-11-27 Claudio Sacerdoti... * The new query language (now broken) works only on...
2002-11-26 Enrico Tassicomments in fourier.ml now are in ocamldoc style
2002-11-26 Ferruccio GuidiGenerator updated for new MathQL.ml
2002-11-21 Claudio Sacerdoti... WARNING!!!
2002-11-19 Claudio Sacerdoti... ~ask_dtd_to_the_getter parameter added to Cic2Xml.print...
2002-11-19 Claudio Sacerdoti... Param ~ask_dtd_to_the_getter added to Cic2Xml.print_object.
2002-11-19 Claudio Sacerdoti... Big change: Qed saves the theorem/definition and regist...
2002-11-18 Claudio Sacerdoti... Interface improvement (???): the Check button has been...
2002-11-18 Claudio Sacerdoti... Small interface improvement: the menu is now in an...
2002-11-18 Claudio Sacerdoti... ...
2002-11-18 Claudio Sacerdoti... Interface improvement:
2002-11-18 Claudio Sacerdoti... Code clean-up: the widget in the lower-left corner...
2002-11-18 Claudio Sacerdoti... Aliases definition removed from the CIC textual parser.
2002-11-18 Claudio Sacerdoti... Inteface improvement: the "Edit Aliases..." menu entry...
2002-11-18 Claudio Sacerdoti... Major interface improvements.
2002-11-15 Claudio Sacerdoti... * Bug fixed: a real empty page is now really used for...
2002-11-15 Claudio Sacerdoti... Residual interface bug fixes: no sequent page is now...
2002-11-15 Claudio Sacerdoti... Small interface improvement: the first goal page is...
2002-11-15 Claudio Sacerdoti... Small interface improvements.
2002-11-14 Claudio Sacerdoti... Other small improvements to the general window layout.
2002-11-14 Claudio Sacerdoti... Small interface improvement: selecting something in...
2002-11-14 Claudio Sacerdoti... Interface improvement:
2002-11-13 Claudio Sacerdoti... Interface improvements: the window to disambiguate...
2002-11-12 Claudio Sacerdoti... A frame now surrounds the XMHTML widget.
2002-11-12 Claudio Sacerdoti... Heavy restyling of the interface.
2002-11-06 Claudio Sacerdoti... - big interface changes: open goals are now collected...
2002-11-04 Claudio Sacerdoti... - new CicTextualParser
2002-10-31 Claudio Sacerdoti... Better layout of the buttons.
2002-10-31 Michele GalatàAdded variousTactic with Constructor, Left, Right,...
2002-10-31 Claudio Sacerdoti... - ElimIntrosSimpl now implemented using tacticals....
2002-10-30 Claudio Sacerdoti... Minor interface improvement.
2002-10-30 Claudio Sacerdoti... - (Partial) porting to the new theory with explicit...
2002-10-25 no authorThis commit was manufactured by cvs2svn to create branch
2002-10-09 no authorThis commit was manufactured by cvs2svn to create branch
2002-09-27 Claudio Sacerdoti... Better handling of queries. Now both the locate and...
2002-09-19 Enrico TassiTactic update
2002-09-09 Claudio Sacerdoti... When locate is used during the lexing phase, it may...
2002-09-04 Claudio Sacerdoti... The parser (the lexer indeed) now use the locate query...
2002-09-04 Enrico TassiFourier tactic
2002-08-29 Michele GalatàComment typo fixed.
2002-07-29 Claudio Sacerdoti... Updated to use the new parser that creates (stacks...
2002-07-01 Stefano Zacchiroli- added Ring tactic on reals
2002-07-01 Ferruccio GuidimathQL modified, stderr corrected to stdout im mathql_i...
2002-06-22 Ferruccio Guidiuntested version of mQueryGenerator (was mquery part 2)
2002-06-12 Claudio Sacerdoti... * Abst removed from the DTD
2002-05-24 Claudio Sacerdoti... * Clear and ClearBody implemented, but they are bugged...
2002-05-22 Claudio Sacerdoti... Conjectures and Hypotheses inside every conjecture...
2002-05-21 Ferruccio Guidi*** empty log message ***
2002-05-20 Claudio Sacerdoti... mquery.ml now really call the execution of the query.
2002-05-20 Claudio Sacerdoti... Many many improvements:
2002-05-08 Claudio Sacerdoti... Experimental commit: definitions are now allowed in...
2002-04-30 Ferruccio Guidibasic MathQL support
next