Changeset a7f03f3

Timestamp:
Oct 10, 2012 9:07:17 AM (12 years ago)
Author:
Mei <mei@…>
Branches:
mei_rt2, mei_rt2_fix_1
Children:
5d1b6dc, df43a5e
Parents:
315ab8d
Message:

1) add the new yap porting directory and some of code
2) add parital proof test code

(No files)

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