chiark / gitweb /
doc/: Use the correct notation for `->' arrows.
[sod] / doc / layout.tex
2015-11-17 Mark WoodingFix spelling of `Sensible' in all of the header comments.
2015-09-23 Mark Woodingsrc/: Yet more naming and export twiddles.
2015-09-22 Mark Woodingdoc/: More synopses.