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