# # ChangeLog for examples/creddy_prover_tests/acme_rockets_intersection_rt0/README # # Generated by Trac 1.2 # Apr 27, 2024 2:45:11 PM Mon, 06 May 2013 22:11:55 GMT Mei [461541a] 1) updated original rt0 to remove libstrongswan dependency a) ...