chiark / gitweb /
doc/...: Fix `\textbar' properly, and use plain `|'.
[sod] / NOTES
2019-08-05 Mark WoodingNOTES: New file of things to think about.
2010-07-02 Mark WoodingMassive reorganization in progress.
2009-10-14 Mark WoodingEarly work-in-progress.