projects / helm.git / history
| 2011-05-26 | Claudio Sacerdoti... | Added "nocomposites" to coercions. | tree | commitdiff |
| 2011-04-01 | Claudio Sacerdoti... | Patch to avoid equations of the form ? -> T (oriented... | tree | commitdiff |
| 2011-01-11 | Claudio Sacerdoti... | HUGE COMMIT: | tree | commitdiff |
| 2010-11-18 | Andrea Asperti | Debugging disabled | tree | commitdiff |
| 2010-11-18 | Andrea Asperti | - auto now uses the equality of the new library | tree | commitdiff |
| 2010-10-29 | Andrea Asperti | WARNING: partial commit (does not compile) | tree | commitdiff |
| 2010-10-26 | Andrea Asperti | Last commit made matita FTBFS. Fixed. | tree | commitdiff |
| 2010-10-17 | Enrico Tassi | backport of patches to unification | tree | commitdiff |
| 2010-10-08 | Andrea Asperti | - most of cicUtil no longer used | tree | commitdiff |
| 2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | tree | commitdiff |