]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Experimental commit: we can now have definitions in contexts. As a
[helm.git] / helm / gTopLevel /
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.