Viewing all changes in revision 54.
- Committer: Jiri Srba
- Date: 2014-07-01 08:25:48 UTC
- mfrom: (53.1.2 ruleCfix)
- Revision ID: srba@cs.aau.dk-20140701082548-gd6j82pqjvcmyvse
merged in branch that fixes Rule C so that it is required that none of the parallel places can have any token.
expand all
collapse all
added
removed
