History for marking / src / model / Criterion.java
2016-09-04
Special criterion added. Marking properties added. Remember last selection.
Mark committed on 4 Sep 2016
2014-08-26
A bunch of improvements.
Mark committed on 26 Aug 2014
2014-06-06
Initial commit.
Mark committed on 6 Jun 2014