Timestamp:
Mar 28, 2013, 5:27:26 PM (7 years ago)
Author:
sacerdot
Message:

1) some files repaired
2) all stuff related to the aborted pass ERTLptr (now merged with

ERTLToLTL) moved into the ERTLptr directory (no longer used/linked)

File:
1 moved

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