]>
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 |