]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/disambiguation
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
removed wrong optimization in delift and export is_flexible
[helm.git] / helm / software / components / disambiguation /
2010-09-30 Enrico Tassipatches for hints & unification: tree | commitdiff
2010-07-29 Claudio Sacerdoti... Bug fixed: nodes were copied. tree | commitdiff
2010-07-29 Enrico Tassiinterpret non ambiguous symbols ASAP tree | commitdiff
2010-03-24 Claudio Sacerdoti... ... tree | commitdiff
2009-11-16 Wilmer RicciottiImplementation of ndestruct tactic (including destructi... tree | commitdiff
2009-10-28 Claudio Sacerdoti... One-shot aliases were no longer generated because of... tree | commitdiff
2009-10-12 Claudio Sacerdoti... Improved debugging code. tree | commitdiff
2009-10-11 Enrico Tassiauto with intro tree | commitdiff
2009-10-06 Wilmer RicciottiInverters/Inversion: tree | commitdiff
2009-10-05 Enrico Tassiadded auto_cache in the dupable status after an tree | commitdiff
2009-10-02 Enrico Tassifixed bug in coercion application, input/output swapped... tree | commitdiff
2009-10-02 Wilmer RicciottiUpdated command ninverter. Syntax: tree | commitdiff
2009-10-02 Claudio Sacerdoti... ... tree | commitdiff
2009-09-30 Wilmer RicciottiAdded initial support for inversion principles in Matit... tree | commitdiff
2009-09-09 Enrico Tassidepends tree | commitdiff
2009-07-28 Claudio Sacerdoti... Introduction of vectors of implicit (only for NG). tree | commitdiff
2009-07-07 Claudio Sacerdoti... 1) Include files for NG were neither recursively proces... tree | commitdiff
2009-06-25 Ferruccio Guidi- some depend files :) tree | commitdiff
2009-06-15 Enrico Tassihuge commit regarding the grafite_status: tree | commitdiff
2009-06-03 Claudio Sacerdoti... Huge commit with several changes: tree | commitdiff
2009-05-18 Enrico Tassinothing special tree | commitdiff
2009-05-08 Claudio Sacerdoti... ... tree | commitdiff
2009-04-14 Ferruccio Guidiwe rebuilt the dependences tree | commitdiff
2009-03-25 Enrico Tassinew tactics are almost ready tree | commitdiff
2008-12-14 Claudio Sacerdoti... The library is no longer automatically used during... tree | commitdiff
2008-12-05 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2008-12-05 Claudio Sacerdoti... Useless code removed. tree | commitdiff
2008-12-05 Claudio Sacerdoti... Useless code removed. tree | commitdiff
2008-12-05 Claudio Sacerdoti... Useless code removed. tree | commitdiff
2008-12-05 Enrico Tassicoercions are there, but not heavily tested tree | commitdiff
2008-12-05 Enrico Tassiif todo_dom was [] disambiguation was performed twice tree | commitdiff
2008-12-05 Enrico Tassidisambiguation takes ~mk_localization_tbl and not ... tree | commitdiff
2008-12-04 Enrico Tassihousekeeping: tree | commitdiff
2008-12-03 Claudio Sacerdoti... The aliases and multi_aliases in the lexicon status... tree | commitdiff
2008-11-27 Enrico TassiNew modules stack: tree | commitdiff
2008-11-27 Enrico Tassicic_disambiguation splitted into disambiguation and... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.