source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Graph Diff Rev Age Author Log Message
(edit) @01ab2b1   12 years faber Merge branch 'rt2' of ​git://abac.deterlab.net/abac into rt2 mei_rt2mei_rt2_fix_1rt2
(edit) @0a81d0a   12 years faber abac_yap_prover -> abac_prover_yap mei_rt2mei_rt2_fix_1rt2
(edit) @ab30fdd   12 years Mei 1) add a missing query file 2) tweak some doc files mei_rt2mei_rt2_fix_1rt2
Note: See TracRevisionLog for help on using the revision log.