]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_cic_content
...
[helm.git] / helm / software / components / ng_cic_content /
2010-03-24 Claudio Sacerdoti... ...
2010-01-18 Andrea AspertiNumber notation for NG
2009-11-16 Wilmer RicciottiImplementation of ndestruct tactic (including destructi...
2009-10-07 Claudio Sacerdoti... - oCic2NCic and nCic2OCic moved to ng_library
2009-10-06 Wilmer RicciottiInverters/Inversion:
2009-10-05 Enrico Tassiadded auto_cache in the dupable status after an
2009-10-02 Wilmer RicciottiUpdated command ninverter. Syntax:
2009-10-02 Claudio Sacerdoti... ...
2009-09-30 Wilmer RicciottiAdded initial support for inversion principles in Matit...
2009-09-27 Enrico TassiType printed as such, CProp printed as such
2009-09-11 Enrico Tassilet rec/corec and co/inductive are not printed!
2009-09-11 Enrico Tassinew macro ncheck. fixed term2pres for Inductive and...
2009-09-09 Enrico Tassidepends
2009-07-28 Claudio Sacerdoti... Introduction of vectors of implicit (only for NG).
2009-07-24 Claudio Sacerdoti... Bug (found during code review) fixed (but not tested...
2009-07-13 Claudio Sacerdoti... Coercion hiding implemented. Notes:
2009-07-09 Claudio Sacerdoti... Bug fixed (non-captured variable).
2009-07-07 Claudio Sacerdoti... 1) Include files for NG were neither recursively proces...
2009-06-11 Ferruccio Guidi- some depend files fixed
2009-06-06 Claudio Sacerdoti... Previous commit reverted, as explained in that log.
2009-06-06 Claudio Sacerdoti... This commit restores the ids_to_father_ids table.
2009-06-05 Claudio Sacerdoti... 1) the home button of CicBrowser now works also for NG
2009-06-03 Claudio Sacerdoti... Huge commit with several changes:
2009-05-27 Claudio Sacerdoti... Basic support for interpretations for NG:
2009-05-25 Enrico Tassinasty change in the lexer/parser:
2009-05-18 Enrico Tassinothing special
2009-05-08 Claudio Sacerdoti... ...
2009-04-26 Claudio Sacerdoti... The backward compatible management of aliases for NG...
2009-04-14 Ferruccio Guidiwe rebuilt the dependences
2009-04-12 Claudio Sacerdoti... Semantic selection back again (but no semantic cut...
2009-04-12 Claudio Sacerdoti... Match is now rendered as best as possible.
2009-04-10 Claudio Sacerdoti... The sequent viewer now considers the context to render...
2009-04-09 Claudio Sacerdoti... The substitution is now taken in account when printing...
2009-04-09 Enrico Tassi...
2009-04-09 Claudio Sacerdoti... + Chain NCic.term -> content -> presentation very...