chiark / gitweb /
doc/: Use the correct notation for `->' arrows.
[sod] / doc / misc.tex
2016-05-29 Mark Woodingdoc/misc.tex (options): Add in missing argument form.
2016-01-10 Mark Woodingdoc/: Bring the `SYMBOLS' file and description stubs...
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.