#
# ChangeLog for examples/python_tests/partial_proof_rt1/run_test
#
# Generated by Trac 1.2
# Jul 5, 2024 10:12:06 PM

Sat, 20 Oct 2012 18:30:19 GMT Mei <mei@…> [da73657]

	1) example for partial proof