chiark / gitweb /
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ian Jackson [Fri, 25 Sep 2020 20:27:29 +0000 (21:27 +0100)]
rename pumpkin books
Ian Jackson [Fri, 25 Sep 2020 20:27:11 +0000 (21:27 +0100)]
clarifications and rationales
Ian Jackson [Fri, 25 Sep 2020 20:26:54 +0000 (21:26 +0100)]
Ben's wording
Ian Jackson [Fri, 25 Sep 2020 20:26:33 +0000 (21:26 +0100)]
edits from notes
Ian Jackson [Fri, 25 Sep 2020 19:33:01 +0000 (20:33 +0100)]
books
Ian Jackson [Thu, 24 Sep 2020 13:59:56 +0000 (14:59 +0100)]
wip