# # ChangeLog for examples/python_tests/alumni3_rt1 # # Generated by Trac 1.2 # Nov 23, 2024 11:33:56 PM 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 Tue, 29 May 2012 20:51:32 GMT Mei [7211a95] 1) add more python examples 2) add the missing linking role and ...