Viewing all changes in revision 56.
- Committer: Jiri Srba
- Date: 2014-07-01 08:23:08 UTC
- mfrom: (51.1.4 ruleCfix)
- Revision ID: srba@cs.aau.dk-20140701082308-xfsh94i5lpww4so5
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
