]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Dead and useless code removed.
2010-12-21 Claudio Sacerdoti... Dead and useless code removed.
 commit | commitdiff | tree
2010-12-21 Claudio Sacerdoti... Dead code removed.
 commit | commitdiff | tree
2010-12-21 Claudio Sacerdoti... When switching to a new script, the other parts of...
commit | commitdiff | tree
2010-12-21 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2010-12-21 Claudio Sacerdoti... VERY EXPERIMENTAL:
 commit | commitdiff | tree
2010-12-21 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2010-12-20 Claudio Sacerdoti... Code clean-up
 commit | commitdiff | tree
2010-12-20 Claudio Sacerdoti... Large commit: refactoring of the code of the interface.
 commit | commitdiff | tree
2010-12-20 Claudio Sacerdoti... First steps towards a multi-document interface.
 commit | commitdiff | tree
2010-12-19 Claudio Sacerdoti... Class mathViewer got rid of. The circular dependency...
commit | commitdiff | tree
2010-12-19 Claudio Sacerdoti... 1. Method screenshot moved to CicMathView where it...
commit | commitdiff | tree
2010-12-18 Claudio Sacerdoti... Useless methods removed.
 commit | commitdiff | tree
2010-12-18 Claudio Sacerdoti... 1) matitaMathView.ml splitted into cicMathView.ml ...
commit | commitdiff | tree
2010-12-17 Claudio Sacerdoti... Better typing.
 commit | commitdiff | tree
2010-12-17 Claudio Sacerdoti... Now useless type declaration removed.
 commit | commitdiff | tree
2010-12-17 Claudio Sacerdoti... This commit simplifies the interfaces of the various...
commit | commitdiff | tree
2010-12-16 Claudio Sacerdoti... Large commit:
 commit | commitdiff | tree
2010-12-10 Claudio Sacerdoti... Previous patch improved: we now use an ad-hoc wrapper...
commit | commitdiff | tree
2010-12-10 Claudio Sacerdoti... Debugging code removed.
 commit | commitdiff | tree
2010-12-10 Claudio Sacerdoti... Dead code removed.
 commit | commitdiff | tree
2010-12-10 Claudio Sacerdoti... BIG BUG FIXED (???): in place of using Grammar.Entry...
commit | commitdiff | tree
2010-12-10 Claudio Sacerdoti... Backporting from new Matita:
 commit | commitdiff | tree
2010-12-03 Claudio Sacerdoti... Semantics of try changed (fixed) when applied to multiple...
commit | commitdiff | tree
2010-12-03 Claudio Sacerdoti... Back-portin from new Matita: semantics of ntry changed...
commit | commitdiff | tree
2010-12-03 Claudio Sacerdoti... Back-porting from new Matita: improvement to inferred...
commit | commitdiff | tree
2010-12-02 Claudio Sacerdoti... [ porting from CerCo's Matita ]
 commit | commitdiff | tree
2010-12-02 Claudio Sacerdoti... Bad default for ?dorefine for instantiate
 commit | commitdiff | tree
2010-12-02 Claudio Sacerdoti... 1. new implementation of normalize to have a speed...
commit | commitdiff | tree
2010-12-02 Claudio Sacerdoti... porting to new syntax
 commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... Bug fixed: propagation of left expected parameters...
commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... Bug fixed: propagation of left expected parameters...
commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... In the case type_of constructor with expected type...
commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... In the case type_of constructor with expected type...
commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... Back-porting from new Matita:
 commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... Back-porting from new Matita:
 commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... Back-porting from new Matita:
 commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... Back-porting from new matita:
 commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... Back-porting from new Matita:
 commit | commitdiff | tree
2010-11-29 Claudio Sacerdoti... Back-porting from new Matita:
 commit | commitdiff | tree
2010-11-25 Claudio Sacerdoti... New behaviour of fo_unif: in case of ?f args == t...
commit | commitdiff | tree
2010-11-23 Claudio Sacerdoti... Debugging code commented out.
 commit | commitdiff | tree
2010-11-22 Claudio Sacerdoti... Debugging code commented out.
 commit | commitdiff | tree
2010-11-22 Claudio Sacerdoti... Debugging code commented out.
 commit | commitdiff | tree
2010-11-17 Claudio Sacerdoti... - stock icons restored
 commit | commitdiff | tree
2010-11-17 Claudio Sacerdoti... 1) matita.glade ported from glade2 to glade3
 commit | commitdiff | tree
2010-11-05 Claudio Sacerdoti... Bug fixed: an assert false was raised before giving...
commit | commitdiff | tree
2010-11-05 Claudio Sacerdoti... - bug fixed: fullpath used in place of relative path
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... Dead code removed (left from a previous commit).
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... - disk dumping of ex-lexicon commands almost implemented
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... - disambiguation code moved from matitaEngine to grafiteDisa...
commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... Dependencies re-computed.
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... Minor code uniformization.
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... - further simplifications (??) of the status dependencies
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... ..
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... All methods made explicit.
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... dependencies between statuses simplified
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... dependencies between statuses simplified
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... Minor code clean-up to simplify module dependencies.
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... - dependencies between statuses simplified
 commit | commitdiff | tree
2010-11-04 Claudio Sacerdoti... - content/interpretations.ml and ng_cic_content/nTermCicCont...
commit | commitdiff | tree
2010-10-29 Claudio Sacerdoti... More parts of the lexicon status made functional.
 commit | commitdiff | tree
2010-10-29 Claudio Sacerdoti... Porting to new syntax.
 commit | commitdiff | tree
2010-10-29 Claudio Sacerdoti... Porting to new syntax.
 commit | commitdiff | tree
2010-10-29 Claudio Sacerdoti... Porting to new syntax.
 commit | commitdiff | tree
2010-10-29 Claudio Sacerdoti... Porting to intermediate syntax.
 commit | commitdiff | tree
2010-10-29 Claudio Sacerdoti... Bug fixed: a missing eta-expansion raised an assert...
commit | commitdiff | tree
2010-10-29 Claudio Sacerdoti... WARNING: partial commit.
 commit | commitdiff | tree
2010-10-15 Claudio Sacerdoti... transcript removed (currently useless)
 commit | commitdiff | tree
2010-10-15 Claudio Sacerdoti... Polymorphic recursion no longer required!!!
 commit | commitdiff | tree
2010-10-15 Claudio Sacerdoti... - bug fixed (introduced by last commit from Andrea...
commit | commitdiff | tree
2010-10-15 Claudio Sacerdoti... - grafiteSync no longer used
 commit | commitdiff | tree
2010-09-30 Claudio Sacerdoti... test to see if svn cp worked as expected
 commit | commitdiff | tree
2010-09-30 Claudio Sacerdoti... Stuff moved from old Matita.
 commit | commitdiff | tree
2010-09-30 Claudio Sacerdoti... Towards Matita 1.0 (new kernel etc. only).
 commit | commitdiff | tree
2010-07-29 Claudio Sacerdoti... Bug fixed: nodes were copied.
 commit | commitdiff | tree
2010-07-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2010-07-23 Claudio Sacerdoti... Some experiments on a co-inductive Heityng algebra.
 commit | commitdiff | tree
2010-07-04 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2010-07-04 Claudio Sacerdoti... Some important proofs/definitions were (and are still...
commit | commitdiff | tree
2010-07-01 Claudio Sacerdoti... Proof simplified.
 commit | commitdiff | tree
2010-07-01 Claudio Sacerdoti... Proof simplified (??).
 commit | commitdiff | tree
2010-05-06 Claudio Sacerdoti... Bug fixed: nstatus => status (to undo the changes).
 commit | commitdiff | tree
2010-05-06 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2010-05-06 Claudio Sacerdoti... assert false could happen
 commit | commitdiff | tree
2010-05-06 Claudio Sacerdoti... Bug fixed:
 commit | commitdiff | tree
2010-05-05 Claudio Sacerdoti... coinduction is between us
 commit | commitdiff | tree
2010-05-05 Claudio Sacerdoti... First tests.
 commit | commitdiff | tree
2010-05-04 Claudio Sacerdoti... Regular expressions.
 commit | commitdiff | tree
2010-04-14 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2010-04-14 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2010-04-14 Claudio Sacerdoti... Formal points.
 commit | commitdiff | tree
2010-04-14 Claudio Sacerdoti... Some dualization clean-up.
 commit | commitdiff | tree
2010-04-08 Claudio Sacerdoti... New code (unbranched) to compute all keys by all possible...
commit | commitdiff | tree
2010-04-08 Claudio Sacerdoti... New sets of.
 commit | commitdiff | tree
2010-03-31 Claudio Sacerdoti... Not is now inductive.
 commit | commitdiff | tree
2010-03-31 Claudio Sacerdoti... Use the inversion!
 commit | commitdiff | tree
2010-03-31 Claudio Sacerdoti... Bug fixed: the current equation is not always the last...
commit | commitdiff | tree
2010-03-31 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2010-03-31 Claudio Sacerdoti... - inversion principles are now generated also for co...
commit | commitdiff | tree
2010-03-31 Claudio Sacerdoti... More debugging info from print_tac.
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.