Add support for group/team marking. Other minor tweaks.
1 parent d8d343c commit dc9c05c9c8968a18f6173ed1bac31a7567926058
Mark George authored 24 days ago
Showing 12 changed files
View
README.md
View
db/h2.sh
View
sql/schema.sql
View
sql/test_data.sql
View
src/main/java/Main.java
View
src/main/java/dao/ResultDAO.java
View
src/main/java/model/Submission.java 0 → 100644
View
src/main/java/ui/BatchMailer.form
View
src/main/java/ui/BatchMailer.java
View
src/main/java/ui/CriterionPanel.java
View
src/main/java/ui/MarkingFrame.java
View
src/main/resources/marking.properties