Ignore:
Timestamp:
Apr 29, 2013, 9:53:20 PM (8 years ago)
Author:
sacerdot
Message:
  • Version dumped to 0.2
  • New executable cerco to be used with why3
File:
1 edited

Legend:

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