# # ChangeLog for examples/acme_rockets_intersection_rt0_typed # # Generated by Trac 1.2 # Jul 3, 2024 4:16:19 AM Tue, 14 Feb 2012 15:36:44 GMT Mei [da5afdf] 1) add static contraint (limited to integer at this time) Tue, 17 Jan 2012 22:42:54 GMT Mei [718ad924] able to parse rt1 without condition updated examples