Changes between Version 7 and Version 8 of DocumentationRT2


Ignore:
Timestamp:
Jul 6, 2012 9:07:19 PM (12 years ago)
Author:
Mei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • DocumentationRT2

    v7 v8  
    1919== Examples ==
    2020
    21 These and many other tests are available in the source tree under /examples/creddy_prover_tests and /examples/python_tests
     21These and many other test examples are available in the source tree under /examples/creddy_prover_tests and /examples/python_tests
    2222
    2323 * [source:/examples/creddy_prover_tests/acme_rockets_rt0/README@mei_rt2 Simple Acme example]