source: examples/python_tests/acme_rockets_intersection_rt0 @ 669b481

Name	Size	Rev	Age	Author	Last Change
../
attr.py	2.8 KB ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
intersect.save	635 bytes ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
query.py	1.8 KB ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
README	1.2 KB ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
run_test	818 bytes ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …
setup.py	620 bytes ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …

Property mode set to 040000