chiark / gitweb /
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ben Harris [Fri, 3 May 2024 13:10:41 +0000 (14:10 +0100)]
Slight simplification of 03b
I think I've understood ˘ now. It's like ¨ but for rows rather than
elements.
Ben Harris [Fri, 3 May 2024 09:26:10 +0000 (10:26 +0100)]
03b done
Still don't really understand the interaction of ˝ and ˘ though.
Ben Harris [Fri, 3 May 2024 09:00:37 +0000 (10:00 +0100)]
03a done
Ben Harris [Fri, 3 May 2024 08:22:56 +0000 (09:22 +0100)]
03a just needs priority
Ben Harris [Thu, 2 May 2024 13:30:43 +0000 (14:30 +0100)]
02a and 02b done
Ben Harris [Thu, 2 May 2024 09:59:51 +0000 (10:59 +0100)]
01b done
Ben Harris [Thu, 2 May 2024 09:43:07 +0000 (10:43 +0100)]
01a done