#
# ChangeLog for examples/python_tests/partial_proof_rt0
#
# Generated by Trac 1.2
# Jul 5, 2024 2:33:55 PM

Wed, 10 Oct 2012 16:07:17 GMT Mei <mei@…> [a7f03f3]

	1) add the new yap porting directory and some of code
	2) add parital ...