chris321

Deal with duplicate citation errors

2

A few judgments raise errors during the analysis stage complaining that the extracted citation is not unique. This may be because of duplicated judgments, or because of bugs still remaining...

Deal with changing filenames

1

Changes to the code/original judgments could result in some judgments being moved to different locations. We should add links or redirects in this case since someone may have linked to...