]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fun implemented.
[helm.git] / helm / gTopLevel /
2002-10-17 no authorThis commit was manufactured by cvs2svn to create branc... tree | commitdiff
2002-10-17 Ferruccio Guidigenerator patched tree | commitdiff
2002-10-15 Ferruccio Guidiquery numeration added tree | commitdiff
2002-10-15 Ferruccio Guidiadded -s switch and query numeration tree | commitdiff
2002-10-08 Ferruccio GuiditopLevel updated for the new mqint tree | commitdiff
2002-10-03 Ferruccio Guiditoplevel updated tree | commitdiff
2002-09-25 Ferruccio Guidibinders list specified in MathQL.Ex constructors tree | commitdiff
2002-09-21 Ferruccio GuidiGenerator updated for the new semantics of Relation tree | commitdiff
2002-09-17 Ferruccio Guidinew query generator tree | commitdiff
2002-09-17 Ferruccio Guidinew toplevel with -help option instead of the Readme tree | commitdiff
2002-09-17 no authorThis commit was manufactured by cvs2svn to create branc... tree | commitdiff
2002-09-10 no authorThis commit was manufactured by cvs2svn to create branc... 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
2002-05-22 lordiresult format changed tree | commitdiff
2002-05-22 Claudio Sacerdoti... Conjectures and Hypotheses inside every conjecture... tree | commitdiff
2002-05-22 Claudio Sacerdoti... cic2acic.mli added tree | commitdiff
2002-05-21 Ferruccio Guidi*** empty log message *** tree | commitdiff
2002-05-20 Claudio Sacerdoti... mathql.ml is now part of ocaml/mathql_interpreter tree | commitdiff
2002-05-20 Claudio Sacerdoti... mquery.ml now really call the execution of the query. tree | commitdiff
2002-05-20 Claudio Sacerdoti... Many many improvements: tree | commitdiff
2002-05-08 Claudio Sacerdoti... Experimental commit: definitions are now allowed in... tree | commitdiff
2002-04-30 Ferruccio Guidibasic MathQL support tree | commitdiff
2002-04-29 Claudio Sacerdoti... * Bug fixed: Elim did not work for principles whose... tree | commitdiff
2002-04-29 Claudio Sacerdoti... * Error handling improved tree | commitdiff
2002-04-29 Claudio Sacerdoti... Computed inner-types are now also put in whd normal... tree | commitdiff
2002-04-26 Claudio Sacerdoti... * Many improvements (expecially in exceptions handling) tree | commitdiff
2002-04-24 Claudio Sacerdoti... * New implementation of Apply and Elim based on the... tree | commitdiff
2002-04-19 Claudio Sacerdoti... * The interface of CicTypeChecker now allows the usage... tree | commitdiff
2002-04-19 Claudio Sacerdoti... Bug fixed: reduction in the scratch window now works... tree | commitdiff
2002-04-19 Claudio Sacerdoti... Reduction tactics in the scratch window implemented. tree | commitdiff
2002-04-19 Claudio Sacerdoti... Debugging stuff removed. tree | commitdiff
2002-04-18 Claudio Sacerdoti... Scratch window is now also raised (= hide + show ;... tree | commitdiff
2002-04-18 Claudio Sacerdoti... * Error reporting improved tree | commitdiff
2002-04-18 Claudio Sacerdoti... * Scratch window added tree | commitdiff
2002-04-18 Claudio Sacerdoti... * Many improvements tree | commitdiff
2002-04-16 Claudio Sacerdoti... * Many improvements tree | commitdiff
2002-04-16 Claudio Sacerdoti... Added the possibility to select parts of the goal of... tree | commitdiff
2002-04-16 Claudio Sacerdoti... Removed the patch to avoid a bug of gmetadom. tree | commitdiff
2002-04-16 Claudio Sacerdoti... ... tree | commitdiff
2002-04-16 Claudio Sacerdoti... proofEngineReduction.ml added tree | commitdiff
2002-04-08 Claudio Sacerdoti... During the computation of the inner-type of a LAMBDA... tree | commitdiff
2002-04-08 Claudio Sacerdoti... * Many improvements tree | commitdiff
2002-04-05 Claudio Sacerdoti... * Many improvements. tree | commitdiff
2002-04-02 Claudio Sacerdoti... First commit of our future proof-assistant/proof-improv... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.