chiark / gitweb /
doc/structures.tex: Fix indentation error.
[sod] / doc / misc.tex
2015-11-17 Mark WoodingFix spelling of `Sensible' in all of the header comments.
2015-09-22 Mark Woodingdoc/: Document where declarations are permitted in...
2015-09-20 Mark WoodingMerge branch 'master' into doc
2015-09-20 Mark Woodingdoc/: Add more synopses.
2015-09-20 Mark Woodingdoc/misc.tex: Track movement of locatives.
2015-09-20 Mark WoodingMerge branch 'master' into doc
2015-09-20 Mark Woodingdoc/: Actually write documentation.