changeset 12935 | d697091d1591 |
parent 12926 | cd0dd6e0bf5c |
child 12954 | 850609c057e2 |
12934:6003b4f916c0 | 12935:d697091d1591 |
---|---|
207 "permissive" |
207 "permissive" |
208 "post" |
208 "post" |
209 "pre" |
209 "pre" |
210 "rename" |
210 "rename" |
211 "restrict" |
211 "restrict" |
212 "shows" |
|
212 "signature" |
213 "signature" |
213 "states" |
214 "states" |
214 "structure" |
215 "structure" |
215 "to" |
216 "to" |
216 "transitions" |
217 "transitions" |