source: examples/python_tests/evaluator_rt1 @ 05acf45

Name	Size	Rev	Age	Author	Last Change
../
attr.py	4.5 KB ​	646e57e	12 years	Mei	1) add partial proof
evaluator.save	818 bytes ​	f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
query.py	2.6 KB ​	f824a9e	12 years	Mei	1) add more doc to python_tests
README	1.4 KB ​	f824a9e	12 years	Mei	1) add more doc to python_tests
run_test	733 bytes ​	05acf45	12 years	Mei	1) make diff skip that "Restoring file" output line that appears when …
setup.py	587 bytes ​	f824a9e	12 years	Mei	1) add more doc to python_tests

Property mode set to 040000