Changeset 605ee1d


Ignore:
Timestamp:
Nov 22, 2011 1:49:56 PM (7 years ago)
Author:
Mike Ryan <mikeryan@…>
Branches:
abac0-leak, abac0-mei, compt_changes, gec13, master, mei-id, mei-rt0-n, mei_rt0, tvf-new-xml
Children:
06b380e
Parents:
f31432f
Message:

be clear when a proof has failed

Files:
3 edited

Legend:

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