#
# ChangeLog for examples/python_tests/partial_proof_rt1/rocket.save
#
# Generated by Trac 1.2
# Jul 6, 2024 3:38:27 AM

Sat, 20 Oct 2012 20:41:23 GMT Mei <mei@…> [a59bc06]

	1) tweak partial proof's example output


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

	1) example for partial proof