chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson - midlevel account
last changeSun, 29 Jan 2023 21:25:29 +0000 (21:25 +0000)
shortlog
2023-01-29 Ian JacksonPumpkin values in md file main
2023-01-29 Ian JacksonPublish the README.html too
2023-01-29 Ian Jacksonpumpkin books adjustments from play
2023-01-29 Ian Jacksonclarifications etc. from notes (formatting)
2023-01-29 Ian Jacksonclarifications etc. from notes
2023-01-29 Ian Jacksonclarifications etc. from notes
2023-01-29 Ian Jacksonclarifications etc. from notes
2023-01-29 Ian Jacksonclarifications etc. from notes
2022-11-12 Ian Jacksonoverflow-tube: cut adj
2022-11-12 Ian Jacksonoverflow-tube: cut adj, break out x_cut_rhs
2022-11-12 Ian Jacksonoverflow-tube: cut adjustments
2022-11-12 Ian Jacksonoverflow-tube: Add cover up instruction: adjust
2022-11-12 Ian Jacksonoverflow-tube: Add cover up instruction (introduce...
2022-11-12 Ian Jacksonoverflow-tube: wip cut2 (whitespace)
2022-11-12 Ian Jacksonoverflow-tube: wip cut2
2022-11-12 Ian Jacksonoverflow-tube: wip cut2
...
heads
14 months ago main