source: examples/python_tests/alumni2_rt1 @ 669b481

Name	Size	Rev	Age	Author	Last Change
../
alumni2.save	695 bytes ​	5f551d3	12 years	Mei	1) add more python examples
attr.py	3.6 KB ​	5f551d3	12 years	Mei	1) add more python examples
query.py	2.1 KB ​	5f551d3	12 years	Mei	1) add more python examples
README	2.8 KB ​	5f551d3	12 years	Mei	1) add more python examples
run_test	772 bytes ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …
setup.py	536 bytes ​	5f551d3	12 years	Mei	1) add more python examples

Property mode set to 040000