# # ChangeLog for examples/python_tests/alumni_rt1 # # Generated by Trac 1.2 # Nov 29, 2024 7:38:12 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 ...