Changeset a5e8390

Timestamp:
Jan 30, 2012 9:04:28 AM (12 years ago)
Author:
Mei <mei@…>
Branches:
mei_rt2, mei_rt2_fix_1, meiyap-rt1, rt2
Children:
10e1588
Parents:
a9494ad
Message:

1) multiple params are working include string & urn types
2) add typed rt1 query to prover

(No files)

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