~verifypn-cpn/verifypn/col_weight_fix

Viewing all changes in revision 53.1.2.

  • Committer: Jiri Srba
  • Date: 2014-06-30 21:31:36 UTC
  • mto: This revision was merged to the branch mainline in revision 54.
  • Revision ID: srba@cs.aau.dk-20140630213136-ps0tfb6sxapa9i6o
updated Documentation according to the last change in rule C

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: