Changeset a59bc06 for doc/partial_proof

Timestamp:
Oct 20, 2012 1:41:23 PM (12 years ago)
Author:
Mei <mei@…>
Branches:
mei_rt2, mei_rt2_fix_1
Children:
97a6a36
Parents:
da73657
Message:

1) tweak partial proof's example output

(No files)

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