source: git/Tst/New/sat_cleardenom.res.gz.uu

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3f7e01a   8 months hannes remnemae: sat -> sat, sat_with_exp spielwiese
(edit) @ede2ad8   9 years hannes fix tr. #712: std(SB,I) does not allow crit3 because of the (wrong) ... spielwiese
(add) @6d5e3ce   11 years boehm Added test for sat spielwiese
Note: See TracRevisionLog for help on using the revision log.