source: examples/python_tests/acme_rockets_intersection_rt0 @ 7f04233

Name	Size	Rev	Age	Author	Last Change
../
setup.py	627 bytes ​	f824a9e	12 years	Mei	1) add more doc to python_tests
run_test	778 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.2 KB ​	646e57e	12 years	Mei	1) add partial proof
intersect.save	631 bytes ​	f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
attr.py	3.6 KB ​	646e57e	12 years	Mei	1) add partial proof

Property mode set to 040000