]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
* The "backward" query has been refined considering head position as a different
[helm.git] / helm / gTopLevel /
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.