---

Since the making of this video there have been the following changes:

1. "Line Check Mode" is now chosen on a problem by problem basis,
2. What was called "Default Mode" is now called "Justification Check Mode", and
3. There is a new "No Check Mode" where the program allows any inference and justification to be written, even inproper inferences (intended to be used in exam situations and then manually graded in the gradebook).

---

Since the making of this video there have been the following changes:

1. "Line Check Mode" is now chosen on a problem by problem basis and so is not a part of the settings page
2. A "Manual Premise Citation" setting has been added. If enabled, premises won't be automatically cited and users can cite a premise (if there are any) using 'pr' as justification.

---

Since the making of this video there have been the following changes:

1. You can now set an amount of points a problem is worth.
2. You can set the default amount of points a problem in your course is worth. This value will be used if you leave the amount of points a course problem is worth blank.

---

Since the making of this video there have been the following changes:

1. You can now individually set a grade for problems when you click the student's problem record.
2. Course derivations with "No Check" or "Choose while solving" will be indicated as "needing to be graded" with an icon of a triangle with an exclamation point until they are manually graded. The site will indicate which assignments, problems, and students need attention.
3. You can now download a csv for Canvas grades from the gradebook, this will account for any late penalty you apply and any individual grades you have given