]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_cic_content
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
enabling destruct defs
[helm.git] / helm / software / components / ng_cic_content /
2010-03-24 Claudio Sacerdoti... ... tree | commitdiff
2010-01-18 Andrea AspertiNumber notation for NG tree | commitdiff
2009-11-16 Wilmer RicciottiImplementation of ndestruct tactic (including destructi... tree | commitdiff
2009-10-07 Claudio Sacerdoti... - oCic2NCic and nCic2OCic moved to ng_library 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 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-27 Enrico TassiType printed as such, CProp printed as such tree | commitdiff
2009-09-11 Enrico Tassilet rec/corec and co/inductive are not printed! tree | commitdiff
2009-09-11 Enrico Tassinew macro ncheck. fixed term2pres for Inductive and... 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-24 Claudio Sacerdoti... Bug (found during code review) fixed (but not tested... tree | commitdiff
2009-07-13 Claudio Sacerdoti... Coercion hiding implemented. Notes: tree | commitdiff
2009-07-09 Claudio Sacerdoti... Bug fixed (non-captured variable). tree | commitdiff
2009-07-07 Claudio Sacerdoti... 1) Include files for NG were neither recursively proces... tree | commitdiff
2009-06-11 Ferruccio Guidi- some depend files fixed tree | commitdiff
2009-06-06 Claudio Sacerdoti... Previous commit reverted, as explained in that log. tree | commitdiff
2009-06-06 Claudio Sacerdoti... This commit restores the ids_to_father_ids table. tree | commitdiff
2009-06-05 Claudio Sacerdoti... 1) the home button of CicBrowser now works also for NG tree | commitdiff
2009-06-03 Claudio Sacerdoti... Huge commit with several changes: tree | commitdiff
2009-05-27 Claudio Sacerdoti... Basic support for interpretations for NG: tree | commitdiff
2009-05-25 Enrico Tassinasty change in the lexer/parser: tree | commitdiff
2009-05-18 Enrico Tassinothing special tree | commitdiff
2009-05-08 Claudio Sacerdoti... ... tree | commitdiff
2009-04-26 Claudio Sacerdoti... The backward compatible management of aliases for NG... tree | commitdiff
2009-04-14 Ferruccio Guidiwe rebuilt the dependences tree | commitdiff
2009-04-12 Claudio Sacerdoti... Semantic selection back again (but no semantic cut... tree | commitdiff
2009-04-12 Claudio Sacerdoti... Match is now rendered as best as possible. tree | commitdiff
2009-04-10 Claudio Sacerdoti... The sequent viewer now considers the context to render... tree | commitdiff
2009-04-09 Claudio Sacerdoti... The substitution is now taken in account when printing... tree | commitdiff
2009-04-09 Enrico Tassi... tree | commitdiff
2009-04-09 Claudio Sacerdoti... + Chain NCic.term -> content -> presentation very... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.