source: examples/python_tests/partial_proof_rt1 @ 7f04233

Name	Size	Rev	Age	Author	Last Change
../
setup.py	921 bytes ​	da73657	12 years	Mei	1) example for partial proof
run_test	791 bytes ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
rocket.save	3.0 KB ​	f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
README	1.7 KB ​	da73657	12 years	Mei	1) example for partial proof
query.py	4.8 KB ​	da73657	12 years	Mei	1) example for partial proof
dump_db.py	430 bytes ​	da73657	12 years	Mei	1) example for partial proof
attr.py	4.7 KB ​	da73657	12 years	Mei	1) example for partial proof

Property mode set to 040000