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 early June 2021 we've typeset 308 of the 355 untypeset sheets = 87%, and at the current rate we might have typeset all the sheets by mid September 2021.
Untypeset sheets that were last played in 2018 (6 of 512 = 1%):
Untypeset sheets that were last played in 2019 (23 of 512 = 4%):
Untypeset sheets that were last played in 2020 (6 of 512 = 1%):
Untypeset sheets that someone's already working on (12 of 512 = 2%):
Sheets that were typeset originally (154 of 512 = 30%):
Sheets that have been typeset since the original untypeset version (308 of 512 = 60%):
Sheets that are missing (3 of 512 = 1%):
Go to the top of this page.