Several people have kindly started to typeset the untypeset sheets, to make them more legible and so that the files are smaller. There's really no urgency to this, but on the other hand I want people to feel that they're making the best use of their time. This page therefore offers some suggestions of which sheets to choose, by grouping them higher-priority first. If you can tell me that you're working on a particular sheet then I'll record that here so that other people can pick something else. As of late November 2020 we've typeset 177 of the 356 untypeset sheets = 50%, and at the current rate we might have typeset all the sheets by early July 2021.
Untypeset sheets of which we have only a poor-quality copy (1 of 513 = 0%):
Untypeset sheets that have not been played recently* and so are more likely to be visited soon (30 of 513 = 6%):
Untypeset sheets that have been played recently* and so are less likely to be visited soon (135 of 513 = 26%):
Sheets that someone's already working on (13 of 513 = 3%):
Sheets that were typeset originally (154 of 513 = 30%):
Sheets that have been typeset since the original untypeset version (177 of 513 = 35%):
Sheets that are missing (3 of 513 = 1%):
* "Recently" means "since November 2013 when current records began".
Go to the top of this page.