source: examples/python_tests/alice_rt1 @ b4b0d0a

Name	Size	Rev	Age	Author	Last Change
../
setup.py	817 bytes ​	f824a9e	12 years	Mei	1) add more doc to python_tests
run_test	720 bytes ​	11ca336	11 years	Mei	1) tweak example's output
README	9.5 KB ​	f824a9e	12 years	Mei	1) add more doc to python_tests
query.py	2.3 KB ​	646e57e	12 years	Mei	1) add partial proof
attr.py	13.3 KB ​	646e57e	12 years	Mei	1) add partial proof
alice.save	1.3 KB ​	f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output

Property mode set to 040000