projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2005-09-12 Claudio Sacerdoti... cic_textual_parser2 ==> cic_disambiguation commit | commitdiff | tree | snapshot
2005-09-12 Claudio Sacerdoti... cic_textual_parser2 ==> cic_disambiguation commit | commitdiff | tree | snapshot
2005-09-12 Claudio Sacerdoti... core_notation.ma ==> core_notation.moo commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchiroliremoved left-spacing of 2 em for '(' (useful only for... commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchiroli- de-ALB-ing commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchirolicic_textual_parser2 -> cic_disambiguation commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchiroliremoved debugging print commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchiroliremoved work-arounds for poor disambiguation, which... commit | commitdiff | tree | snapshot
2005-09-12 Stefano ZacchiroliAdded support for multiple disambiguation passes. commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchiroliadded support for multi-aliases in disambiguation envir... commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchiroliadded use_coercions flag (imperative :-(, non re-entran... commit | commitdiff | tree | snapshot
2005-09-12 Claudio Sacerdoti... Comment removed. commit | commitdiff | tree | snapshot
2005-09-12 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-12 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchiroli- exported CPS iterator visit_magic commit | commitdiff | tree | snapshot
2005-09-12 Stefano ZacchiroliFilled pre-generated notation levels with productions... commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchirolidone some items commit | commitdiff | tree | snapshot
2005-09-12 Stefano Zacchirolicommented Record type constructor commit | commitdiff | tree | snapshot
2005-09-12 Claudio Sacerdoti... An old note (that goes back to July) integrated in... commit | commitdiff | tree | snapshot
2005-09-09 Enrico Tassithe case Appl Meta vs t was not executed in case t... commit | commitdiff | tree | snapshot
2005-09-09 Enrico Tassiworkaround for sequent viewer flickering commit | commitdiff | tree | snapshot
2005-09-09 Enrico Tassiadded left/right commit | commitdiff | tree | snapshot
2005-09-08 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchiroliremoved some debugging prints commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchiroliitems related to lazy parsing commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchiroliimplemented lazy disambiguation of tactics arguments... commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchiroliadded set_metasenv on proof_status commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchiroli- uses runtime base dir to reference logo with qed commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchiroliremoved some dead code commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchirolitests changing under a binder commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchiroliuses Map.equal to compare universes commit | commitdiff | tree | snapshot
2005-09-08 Stefano Zacchirolicompleted test commit | commitdiff | tree | snapshot
2005-09-07 Claudio Sacerdoti... Unsharing bugs fixed. commit | commitdiff | tree | snapshot
2005-09-07 Claudio Sacerdoti... Unsharing bug due to a very stupid typo fixed. commit | commitdiff | tree | snapshot
2005-09-07 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchirolibugfix: avoid losing attributes on boxes which have... commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchiroliremoved dead code commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchiroliadded {get,set}_attr commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchiroliadded {get,set,pp}_attr commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchiroliuses \def symbol for definitions in context commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchirolidone 1 item commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchiroliupdated commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchirolimisc fixes in cic browser queries (pretty printing... commit | commitdiff | tree | snapshot
2005-09-06 Alberto Griggioadded dirty hack to blacklist mult_n_2, which causes... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... Refiner substituted with the type-checker in a case... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... New bug exposed. commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... Dead code/files removed. commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchiroliremoved debugging prints and better sample commit | commitdiff | tree | snapshot
2005-09-06 Stefano Zacchiroliadded <include href="foo/bar/baz.xml" /> support commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... Bug fixed: the small logo was searched in the wrong... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... Serious bug fixed: unsharing was not performed over... commit | commitdiff | tree | snapshot
2005-09-06 Claudio Sacerdoti... Dead code removed. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Added aliases and notation. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Unfold tactic generalized to perform zeta-reduction. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... locate_in_* functions generalized to handle equalities... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... New change in patterns: the pattern "in H" is now inter... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... The refined form of a reference to a let-in bound varia... commit | commitdiff | tree | snapshot
2005-09-05 Stefano Zacchiroliuse uniform naming for referencing cicNotation* modules commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-05 Stefano Zacchiroliremoved tedious debugging message commit | commitdiff | tree | snapshot
2005-09-05 Stefano Zacchiroliavoid generating multiple times the same xref/href commit | commitdiff | tree | snapshot
2005-09-05 Enrico Tassifix generation of applications of applications. commit | commitdiff | tree | snapshot
2005-09-05 Enrico Tassiadded @raise in comment (and source) commit | commitdiff | tree | snapshot
2005-09-05 Enrico Tassisimplify and let-in commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Assert false (for imbricated theorems) changed to a... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... New strategy for let-in unfolding (aka zeta reduction... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Critical bug fixed: the get_cooked_obj was called on... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Typing errors fixed. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... The logo was searched in the wrong directory. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Bug fixed: Invalid_argument was raised by List.combine... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... LAMBDA-TYPES moved under contrib, fixed (to use the... commit | commitdiff | tree | snapshot
2005-09-05 Stefano Zacchirolibug fix for IDA: uses remote names (i.e. http://..... commit | commitdiff | tree | snapshot
2005-09-05 Ferruccio GuidiLAMBDA-TYPES moved under contribs commit | commitdiff | tree | snapshot
2005-09-05 Enrico TassiThe popup that asks to generate .moo for a .ma shows... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Bug fixed: matitac used to stop too early when an ambig... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... create_owner_environment missing from matitatop initial... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Unsharing removed since it is now used in Cic2acic. commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Unsharing finally introduced (but just for object proce... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Bug fixed: sorts and implicits were not unshared correctly. commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Assert added to check whether an unsharing problem... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Serious bug fixed previously introduced by me in the... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Stupid typo fixed. commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Missing initialization of the trusting function (for... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Unused index (because of UNIQUE field count) dropped. commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... New index refObj_occurrence on refObj. It is required... commit | commitdiff | tree | snapshot
2005-09-01 Alberto Griggiochanged default parameter values... commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... Comment added. commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.