~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

Viewing all changes in revision 47.

  • Committer: Jiri Srba
  • Date: 2014-03-18 14:39:01 UTC
  • Revision ID: srba@cs.aau.dk-20140318143901-hf909du4uhfhw476
updated documentation for rule B (missing condition) 

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: