source: examples/python_tests/experiment_create_rt0 @ f2d67a5

Name	Size	Rev	Age	Author	Last Change
../
setup.py	612 bytes ​	f824a9e	12 years	Mei	1) add more doc to python_tests
run_test	734 bytes ​	b92a620	12 years	Mei	1) route debug printf to stderr 2) add some check for swig in …
README	1.2 KB ​	f824a9e	12 years	Mei	1) add more doc to python_tests
query.py	2.5 KB ​	646e57e	12 years	Mei	1) add partial proof
experiment.save	714 bytes ​	f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
attr.py	4.1 KB ​	646e57e	12 years	Mei	1) add partial proof

Property mode set to 040000