#
# ChangeLog for examples/python_tests/evaluator_rt1/attr.py
#
# Generated by Trac 1.2
# Jul 5, 2024 2:11:16 PM

Sat, 20 Oct 2012 18:25:15 GMT Mei <mei@…> [646e57e]

	1) add partial proof


Fri, 01 Jun 2012 23:53:38 GMT Mei <mei@…> [f824a9e]

	1) add more doc to python_tests


Wed, 30 May 2012 01:08:28 GMT Mei <mei@…> [5f551d3]

	1) add more python examples