2002-12-12 |
Claudio Sacerdoti... | Minor widget rearrangement. |
blob | commitdiff | raw |
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 |
2002-04-29 |
Claudio Sacerdoti... | * Error handling improved |
blob | commitdiff | raw | diff to current |
2002-04-26 |
Claudio Sacerdoti... | * Many improvements (expecially in exceptions handling) |
blob | commitdiff | raw | diff to current |
2002-04-19 |
Claudio Sacerdoti... | * The interface of CicTypeChecker now allows the usage... |
blob | commitdiff | raw | diff to current |
2002-04-19 |
Claudio Sacerdoti... | Reduction tactics in the scratch window implemented. |
blob | commitdiff | raw | diff to current |
2002-04-18 |
Claudio Sacerdoti... | Scratch window is now also raised (= hide + show ;... |
blob | commitdiff | raw | diff to current |
2002-04-18 |
Claudio Sacerdoti... | * Error reporting improved |
blob | commitdiff | raw | diff to current |
2002-04-18 |
Claudio Sacerdoti... | * Scratch window added |
blob | commitdiff | raw | diff to current |
2002-04-18 |
Claudio Sacerdoti... | * Many improvements |
blob | commitdiff | raw | diff to current |
2002-04-16 |
Claudio Sacerdoti... | * Many improvements |
blob | commitdiff | raw | diff to current |
2002-04-08 |
Claudio Sacerdoti... | * Many improvements |
blob | commitdiff | raw | diff to current |
2002-04-05 |
Claudio Sacerdoti... | * Many improvements. |
blob | commitdiff | raw | diff to current |
2002-04-02 |
Claudio Sacerdoti... | First commit of our future proof-assistant/proof-improv... |
blob | commitdiff | raw | diff to current |
|