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