source: src/ASM/AbstractStatus.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1944   8 years sacerdot common/StructuredTraces no longer depends on ASM/AbstractStatus (again)
(add) @1939   8 years mulligan Changes to get things to compile and to avoid the dependency …
Note: See TracRevisionLog for help on using the revision log.