# # ChangeLog for examples/python_tests/alumni2_rt1 # # Generated by Trac 1.2 # Nov 23, 2024 7:44:00 PM Fri, 29 Jun 2012 09:32:17 GMT Mei [2efdff5] 1) fix the missing check for 'This' rt2.y when called from ... Fri, 01 Jun 2012 23:53:38 GMT Mei [f824a9e] 1) add more doc to python_tests Thu, 31 May 2012 20:28:14 GMT Mei [669b481] 1) finish test conversion from creddy-prover to python 2) update the ... Wed, 30 May 2012 01:08:28 GMT Mei [5f551d3] 1) add more python examples