History for marking / sql / schema.sql
2024-04-10
Add support for group/team marking. Other minor tweaks.
Mark George committed on 10 Apr
2024-04-04
Add some default values to the schema
Mark George committed on 4 Apr
2024-03-19
Add unmarked view
Mark George committed on 19 Mar
2023-10-05
Prevent penalties from resulting in negative marks
Mark George committed on 5 Oct 2023
2023-09-01
Add penalty as criterion
Mark George committed on 1 Sep 2023
2023-06-06
Rationalised normal vs special vs penalty
Mark George committed on 6 Jun 2023