Notes concerning “Text editors”

• One big text file 02020-06-04 (updated 02020-06-06) (20 minutes)
• Monoid prefix sum 02020-06-05 (13 minutes)
• Line-numbered ISAM buffers 02020-07-18 (updated 02020-07-23) (14 minutes)
• Table text 02020-12-31 (4 minutes)