chiark / gitweb /
doc/: Miscellaneous clarifications and rewordings.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 7 May 2016 14:32:51 +0000 (15:32 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 29 May 2016 14:09:03 +0000 (15:09 +0100)
commit781a8fbd66088ce2eb16776fd951f8b79732d69c
tree89e7ccf550b3189977c7d0be14835e6aa6b0be89
parent9761db0da830385bcc0fca81f56f24536a46aeda
doc/: Miscellaneous clarifications and rewordings.
doc/concepts.tex
doc/runtime.tex