]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added sort CProp
[helm.git] / helm / gTopLevel /
2002-11-26 Ferruccio GuidiNew module for level management (was in MQueryGenerator) tree | commitdiff
2002-11-26 Ferruccio GuidiGenerator updated for new MathQL.ml tree | commitdiff
2002-11-22 natiletoplevel.ml patched but it doesn't compile with open... tree | commitdiff
2002-11-21 Claudio Sacerdoti... WARNING!!! tree | commitdiff
2002-11-20 Enrico Tassi- removed: cut_tac False to demostrate False tree | commitdiff
2002-11-19 Claudio Sacerdoti... ~ask_dtd_to_the_getter parameter added to Cic2Xml.print... tree | commitdiff
2002-11-19 Claudio Sacerdoti... Param ~ask_dtd_to_the_getter added to Cic2Xml.print_object. tree | commitdiff
2002-11-19 Claudio Sacerdoti... Big change: Qed saves the theorem/definition and regist... tree | commitdiff
2002-11-18 Claudio Sacerdoti... Interface improvement (???): the Check button has been... tree | commitdiff
2002-11-18 Claudio Sacerdoti... Small interface improvement: the menu is now in an... tree | commitdiff
2002-11-18 Claudio Sacerdoti... ... tree | commitdiff
2002-11-18 Claudio Sacerdoti... Interface improvement: tree | commitdiff
2002-11-18 Claudio Sacerdoti... Code clean-up: the widget in the lower-left corner... tree | commitdiff
2002-11-18 Claudio Sacerdoti... Aliases definition removed from the CIC textual parser. tree | commitdiff
2002-11-18 Claudio Sacerdoti... Inteface improvement: the "Edit Aliases..." menu entry... tree | commitdiff
2002-11-18 Claudio Sacerdoti... Major interface improvements. tree | commitdiff
2002-11-18 Claudio Sacerdoti... Rendering of InductiveDefinitions, Variables and Axioms... tree | commitdiff
2002-11-15 Claudio Sacerdoti... Order of the generated metavariables for apply fixed... tree | commitdiff
2002-11-15 Claudio Sacerdoti... Bug fixed: conjectures were printed in the wrong order. tree | commitdiff
2002-11-15 Claudio Sacerdoti... * Bug fixed: a real empty page is now really used for... tree | commitdiff
2002-11-15 Claudio Sacerdoti... Residual interface bug fixes: no sequent page is now... tree | commitdiff
2002-11-15 Claudio Sacerdoti... Small interface improvement: the first goal page is... tree | commitdiff
2002-11-15 Claudio Sacerdoti... Small interface improvements. tree | commitdiff
2002-11-14 Claudio Sacerdoti... Other small improvements to the general window layout. tree | commitdiff
2002-11-14 Claudio Sacerdoti... Small interface improvement: selecting something in... tree | commitdiff
2002-11-14 Claudio Sacerdoti... Interface improvement: tree | commitdiff
2002-11-13 Claudio Sacerdoti... Interface improvements: the window to disambiguate... tree | commitdiff
2002-11-12 Claudio Sacerdoti... A frame now surrounds the XMHTML widget. tree | commitdiff
2002-11-12 Claudio Sacerdoti... Heavy restyling of the interface. tree | commitdiff
2002-11-11 Enrico TassiAn old bug in 'eqT' hipotesys solved tree | commitdiff
2002-11-06 Claudio Sacerdoti... - big interface changes: open goals are now collected... tree | commitdiff
2002-11-04 Claudio Sacerdoti... nameObject ==> objectName tree | commitdiff
2002-11-04 Claudio Sacerdoti... The reduction tactics are now shared between ReductionT... tree | commitdiff
2002-11-04 Claudio Sacerdoti... The fold tactic of proofEngine now uses ReductionTactic... tree | commitdiff
2002-11-04 Claudio Sacerdoti... - Comments updated tree | commitdiff
2002-11-04 Claudio Sacerdoti... - synchronization with the main branch tree | commitdiff
2002-11-04 Claudio Sacerdoti... - porting to the new theory with explicit named substit... tree | commitdiff
2002-11-04 Claudio Sacerdoti... - new fold tactic tree | commitdiff
2002-11-04 Claudio Sacerdoti... - new CicTextualParser tree | commitdiff
2002-10-31 Claudio Sacerdoti... Several bug-fixes: tree | commitdiff
2002-10-31 Claudio Sacerdoti... Bug fixed: the declared number of new goals of Apply... tree | commitdiff
2002-10-31 Claudio Sacerdoti... Better layout of the buttons. tree | commitdiff
2002-10-31 Michele GalatàAdded variousTactic with Constructor, Left, Right,... tree | commitdiff
2002-10-31 Claudio Sacerdoti... - ElimIntrosSimpl now implemented using tacticals.... tree | commitdiff
2002-10-31 Claudio Sacerdoti... explicit namd substitutions introduced tree | commitdiff
2002-10-30 Claudio Sacerdoti... Undo of the previous commit (that was a mistake). tree | commitdiff
2002-10-30 Claudio Sacerdoti... Bug fixed in reduction/simplification of explicit named... tree | commitdiff
2002-10-30 Claudio Sacerdoti... Dead code removal. tree | commitdiff
2002-10-30 Claudio Sacerdoti... Minor interface improvement. tree | commitdiff
2002-10-30 Claudio Sacerdoti... - (Partial) porting to the new theory with explicit... tree | commitdiff
2002-10-25 no authorThis commit was manufactured by cvs2svn to create branch tree | commitdiff
2002-10-09 no authorThis commit was manufactured by cvs2svn to create branch tree | commitdiff
2002-10-02 Enrico Tassitactic update tree | commitdiff
2002-09-27 Claudio Sacerdoti... Better handling of queries. Now both the locate and... tree | commitdiff
2002-09-20 Claudio Sacerdoti... change code moved to change_tac (functional version... tree | commitdiff
2002-09-19 Enrico TassiTactic update tree | commitdiff
2002-09-18 Claudio Sacerdoti... Small code improvement. tree | commitdiff
2002-09-18 Enrico TassiTactic update tree | commitdiff
2002-09-17 Ferruccio Guidinew query generator tree | commitdiff
2002-09-16 Claudio Sacerdoti... List of tactics implemented and to implement (italian... tree | commitdiff
2002-09-13 Ferruccio Guidirestricted mode to use when the database is down :) tree | commitdiff
2002-09-13 Ferruccio Guidiquery generator timing feature improved tree | commitdiff
2002-09-13 Claudio Sacerdoti... ring.ml* splitted into ring.ml* and tacticals.ml* tree | commitdiff
2002-09-13 Claudio Sacerdoti... then_ tactical implemented (equivalent to the tclTHEN... tree | commitdiff
2002-09-13 Enrico TassiFourier tactic update tree | commitdiff
2002-09-09 Claudio Sacerdoti... When locate is used during the lexing phase, it may... tree | commitdiff
2002-09-09 Claudio Sacerdoti... Patch applied to the locate query: when used to retriev... tree | commitdiff
2002-09-09 Enrico TassiFourier tactic update tree | commitdiff
2002-09-07 Enrico TassiFirst works tree | commitdiff
2002-09-05 Ferruccio GuidimQueryGenerator and topLevel patched tree | commitdiff
2002-09-05 Ferruccio Guidisome small improvements: command line sintax changed... tree | commitdiff
2002-09-04 Claudio Sacerdoti... The parser (the lexer indeed) now use the locate query... tree | commitdiff
2002-09-04 Enrico TassiFourier tactic tree | commitdiff
2002-08-29 Michele GalatàType expression simplified. tree | commitdiff
2002-08-29 Michele GalatàComment typo fixed. tree | commitdiff
2002-08-27 Claudio Sacerdoti... Interface file created. Missing from previous commit. tree | commitdiff
2002-07-29 Claudio Sacerdoti... Updated to use the new parser that creates (stacks... tree | commitdiff
2002-07-22 Claudio Sacerdoti... Many improvements in tactics (and tactical) representation: tree | commitdiff
2002-07-02 Stefano ZacchiroliAdded examples. tree | commitdiff
2002-07-02 Stefano Zacchirolibugfix: Ring will work again with varmaps :-) tree | commitdiff
2002-07-01 Stefano Zacchiroli- added Ring tactic on reals tree | commitdiff
2002-07-01 Stefano Zacchirolibugfix that inhibit the removal of certain hypotheses tree | commitdiff
2002-07-01 Stefano Zacchirolibug fix: handled LetIn case in simpl tree | commitdiff
2002-07-01 Ferruccio GuidimathQL modified, stderr corrected to stdout im mathql_i... tree | commitdiff
2002-06-25 Claudio Sacerdoti... Locate query changed again. There is a mismatch between... tree | commitdiff
2002-06-22 Ferruccio Guidited version of mQueryGenerator (was mquery part 2) tree | commitdiff
2002-06-22 Ferruccio Guidiuntested version of mQueryGenerator (was mquery part 2) tree | commitdiff
2002-06-19 Claudio Sacerdoti... Bug fixed: a sort not in normal form can now also be... tree | commitdiff
2002-06-19 Claudio Sacerdoti... Coscoy double inner types now available also for Meta... tree | commitdiff
2002-06-18 Ferruccio Guidiupdated for the new version of mathQL.ml tree | commitdiff
2002-06-18 Claudio Sacerdoti... Inner-types a la Coscoy now correctly generated even... tree | commitdiff
2002-06-18 Claudio Sacerdoti... New query implementation using LetIn. tree | commitdiff
2002-06-13 Claudio Sacerdoti... Names of some constructors changed. tree | commitdiff
2002-06-12 Claudio Sacerdoti... * Abst removed from the DTD tree | commitdiff
2002-06-10 Claudio Sacerdoti... * doubleTypeInference.ml* added. For now, it just compu... tree | commitdiff
2002-05-29 Claudio Sacerdoti... New module helm-mathql. tree | commitdiff
2002-05-28 Claudio Sacerdoti... * Bug fixed: syntactic equality for CIC term (which... tree | commitdiff
2002-05-28 Claudio Sacerdoti... * The "backward" query has been refined considering... tree | commitdiff
2002-05-28 Claudio Sacerdoti... Fold must use replace with the = equality and not the... tree | commitdiff
2002-05-24 Claudio Sacerdoti... * Clear and ClearBody implemented, but they are bugged... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.