]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Serious bug fixed: fix_sorts used to allow inference of Type[0]:Type[0]!
[helm.git] / helm / software / matita /
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Wilmer RicciottiExperimental scripts for nth-order rewriting principles. tree | commitdiff
2009-10-13 Enrico Tassibetter screenshot tree | commitdiff
2009-10-13 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-10-13 Enrico Tassione mode debug item tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassino mode middle age debug menu tree | commitdiff
2009-10-13 Enrico Tassimore comments tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-12 Enrico Tassi... tree | commitdiff
2009-10-12 Claudio Sacerdoti... Typo fixed. tree | commitdiff
2009-10-12 Enrico Tassiadded last 10 months work... tree | commitdiff
2009-10-12 Enrico Tassi... tree | commitdiff
2009-10-12 Enrico Tassinew standard library inside path tree | commitdiff
2009-10-12 Claudio Sacerdoti... Improved debugging code. tree | commitdiff
2009-10-11 Enrico Tassino need to compile/install the standard library. if... tree | commitdiff
2009-10-11 Enrico Tassiauto with intro tree | commitdiff
2009-10-08 Claudio Sacerdoti... A new switch to activate/deactive nCicReduction pretty... tree | commitdiff
2009-10-08 Enrico Tassi... tree | commitdiff
2009-10-06 Enrico Tassiremoved useless stuff tree | commitdiff
2009-10-06 Enrico Tassisome fixes tree | commitdiff
2009-10-06 Wilmer RicciottiSyntax highlighting for 'ninverter' keyword tree | commitdiff
2009-10-06 Enrico Tassiunification pps can be activated by the menu debug tree | commitdiff
2009-10-05 Claudio Sacerdoti... ... tree | commitdiff
2009-10-05 Claudio Sacerdoti... ... tree | commitdiff
2009-10-05 Enrico Tassinew ng_library module tree | commitdiff
2009-10-05 Enrico Tassiuffa tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-04 Claudio Sacerdoti... Does not compile! Wrong unification hint? tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-02 Enrico Tassihints fixed tree | commitdiff
2009-09-30 Claudio Sacerdoti... With this hint, it diverges. tree | commitdiff
2009-09-30 Claudio Sacerdoti... New datatype for metasenv/subst: full fledged attribute... tree | commitdiff
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Enrico Tassiugly coerc db print tree | commitdiff
2009-09-29 Claudio Sacerdoti... ... tree | commitdiff
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Enrico Tassimore virtuals tree | commitdiff
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Claudio Sacerdoti... It does not work recursively... tree | commitdiff
2009-09-29 Claudio Sacerdoti... ... tree | commitdiff
2009-09-28 Enrico Tassinon ho resistito! tree | commitdiff
2009-09-28 Claudio Sacerdoti... Experiment... tree | commitdiff
2009-09-28 Claudio Sacerdoti... Experiment... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassimulti screenshot tree | commitdiff
2009-09-24 Enrico Tassincheck works in the current ctx tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi.... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassimore on screenshot tree | commitdiff
2009-09-23 Enrico Tassinew macro screenshot tree | commitdiff
2009-09-22 Enrico Tassi... tree | commitdiff
2009-09-21 Enrico Tassi... tree | commitdiff
2009-09-21 Enrico Tassinew tactics by CSC tree | commitdiff
2009-09-21 Enrico Tassihuge commit regarding universes: tree | commitdiff
2009-09-18 Claudio Sacerdoti... ... tree | commitdiff
2009-09-17 Enrico Tassione more exception printed tree | commitdiff
2009-09-17 Enrico Tassimore work for igft tree | commitdiff
2009-09-16 Enrico Tassimore notation for topologies, and some prentheses that... tree | commitdiff
2009-09-16 Enrico Tassisome more work... tree | commitdiff
2009-09-16 Claudio Sacerdoti... New interesting coercion. tree | commitdiff
2009-09-15 Enrico Tassiimproved check in delift for flexible lc entries. tree | commitdiff
2009-09-14 Enrico Tassifixed coercion mechanism w.r.t. undo/require tree | commitdiff
2009-09-14 Claudio Sacerdoti... New tactics ncut and nlapply. tree | commitdiff
2009-09-13 Enrico Tassia nice bug in meta handling is not visible... brr... tree | commitdiff
2009-09-13 Enrico Tassisome more letters tree | commitdiff
2009-09-11 Enrico Tassi... tree | commitdiff
2009-09-11 Enrico Tassiconstructor accepts the arguments of the constructor... tree | commitdiff
2009-09-11 Enrico Tassi... tree | commitdiff
2009-09-11 Enrico Tassinew syntax tree | commitdiff
2009-09-11 Enrico Tassinew macro ncheck. fixed term2pres for Inductive and... tree | commitdiff
2009-09-10 Enrico Tassiok, but slow on includes tree | commitdiff
2009-09-10 Enrico Tassinice hints tree | commitdiff
2009-09-10 Enrico Tassimaledetto il \sub di CSC tree | commitdiff
2009-09-10 Enrico Tassiit starts to work tree | commitdiff
2009-09-10 Enrico Tassinice notation for hints! tree | commitdiff
2009-09-10 Enrico Tassimore stuff fixed tree | commitdiff
2009-09-09 Enrico Tassisome more work for ng-coercions tree | commitdiff
2009-09-08 Enrico Tassisnapshot for CSC tree | commitdiff
2009-09-04 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-04 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-03 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-03 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-03 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.