source: examples/python_tests/evaluator_rt1 @ 7f04233

mei_rt2
Name Size Rev Age Author Last Change
../
setup.py 587 bytes f824a9e   12 years Mei 1) add more doc to python_tests
run_test 746 bytes 2e9455f   11 years Mei 1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
README 1.4 KB f824a9e   12 years Mei 1) add more doc to python_tests
query.py 2.6 KB f824a9e   12 years Mei 1) add more doc to python_tests
evaluator.save 818 bytes f2d67a5   12 years Mei 1) put back that yap info line in the saved example output
attr.py 4.5 KB 646e57e   12 years Mei 1) add partial proof
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.