Timestamp:
Nov 22, 2011 1:49:56 PM (13 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

(No files)

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