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