chiark / gitweb /
quacks.git
2020-09-25 Ian Jacksonformatting, clarification
2020-09-25 Ian Jacksonrename pumpkin books
2020-09-25 Ian Jacksonclarifications and rationales
2020-09-25 Ian JacksonBen's wording
2020-09-25 Ian Jacksonedits from notes
2020-09-25 Ian Jacksonbooks
2020-09-24 Ian Jacksonwip