source: swig/python @ ade843e

Name	Size	Rev	Age	Author	Last Change
../
prover.py	576 bytes ​	06e2fc5	14 years	Mike Ryan	add swig
Makefile	315 bytes ​	06e2fc5	14 years	Mike Ryan	add swig
language.i	1.2 KB ​	ade843e	14 years	Mike Ryan	support strings instead of bytearrays in python < 2.6
abac.i	9 bytes ​	06e2fc5	14 years	Mike Ryan	add swig
abac.hh	10 bytes ​	06e2fc5	14 years	Mike Ryan	add swig
abac.h	9 bytes ​	06e2fc5	14 years	Mike Ryan	add swig

Property mode set to 040000