]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/disambiguation
better nlet rec boxing
[helm.git] / helm / software / components / disambiguation /
2009-10-02 Claudio Sacerdoti... ...
2009-09-30 Wilmer RicciottiAdded initial support for inversion principles in Matit...
2009-09-09 Enrico Tassidepends
2009-07-28 Claudio Sacerdoti... Introduction of vectors of implicit (only for NG).
2009-07-07 Claudio Sacerdoti... 1) Include files for NG were neither recursively proces...
2009-06-25 Ferruccio Guidi- some depend files :)
2009-06-15 Enrico Tassihuge commit regarding the grafite_status:
2009-06-03 Claudio Sacerdoti... Huge commit with several changes:
2009-05-18 Enrico Tassinothing special
2009-05-08 Claudio Sacerdoti... ...
2009-04-14 Ferruccio Guidiwe rebuilt the dependences
2009-03-25 Enrico Tassinew tactics are almost ready
2008-12-14 Claudio Sacerdoti... The library is no longer automatically used during...
2008-12-05 Claudio Sacerdoti... Debugging code removed.
2008-12-05 Claudio Sacerdoti... Useless code removed.
2008-12-05 Claudio Sacerdoti... Useless code removed.
2008-12-05 Claudio Sacerdoti... Useless code removed.
2008-12-05 Enrico Tassicoercions are there, but not heavily tested
2008-12-05 Enrico Tassiif todo_dom was [] disambiguation was performed twice
2008-12-05 Enrico Tassidisambiguation takes ~mk_localization_tbl and not ...
2008-12-04 Enrico Tassihousekeeping:
2008-12-03 Claudio Sacerdoti... The aliases and multi_aliases in the lexicon status...
2008-11-27 Enrico TassiNew modules stack:
2008-11-27 Enrico Tassicic_disambiguation splitted into disambiguation and...