source: examples/python_tests/leader_rt1 @ 669b481

Name	Size	Rev	Age	Author	Last Change
../
attr.py	4.2 KB ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
leader.save	694 bytes ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
query.py	2.0 KB ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
README	2.5 KB ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
run_test	765 bytes ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …
setup.py	517 bytes ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …

Property mode set to 040000