source: project/release/4/z3/tests/run.scm

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(copy) @15109   11 years felix winkelmann removed test-script
copied from release/4/z3/tests/tests.scm:
(add) @15108   11 years felix winkelmann imported r4 z3 egg (patch by Christian Kellermann)
Note: See TracRevisionLog for help on using the revision log.