Changeset 2431 for Deliverables/D2.2


Ignore:
Timestamp:
Nov 6, 2012, 1:15:40 PM (7 years ago)
Author:
campbell
Message:

Fix in matita-out branch too.

Location:
Deliverables/D2.2/8051-matita-out
Files:
2 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.