diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/bulgarian/.project.mg.swp | bin | 16384 -> 0 bytes | |||
| -rw-r--r-- | doc/en.txt | 4 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/bulgarian/.project.mg.swp b/doc/bulgarian/.project.mg.swp Binary files differdeleted file mode 100644 index f512973..0000000 --- a/doc/bulgarian/.project.mg.swp +++ /dev/null @@ -17,8 +17,8 @@ Syntax: <machine internals> := { <states definition> ";" | <events definition> ";" | <transitions definition> ";" \ | "starting" "on" <id> ";" } - <states definition> := "states" "[" { <id> [ "on" "entering" <execute statement> ] \ - [ "on" "exiting" <execute statement> ] }+ "]" + <states definition> := "states" "[" { <id> [ "[" ( "on" "entering" <execute statement> ";" ] \ + [ "on" "exiting" <execute statement> ";" ] "]" }+ "]" <events definition> := "events" "[" { <id> }+ "]" <transitions definition> := "transitions" "[" { <transition> ";" }+ "]" |