chiark / gitweb /
doc/: Use the correct notation for `->' arrows.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 15 Dec 2015 19:15:23 +0000 (19:15 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 29 May 2016 13:40:39 +0000 (14:40 +0100)
commitc18d6aba8749d61eafb9ea3509bfea826e9d9356
treee8ed062b9676798b09471a1e85294852ed2c8aa8
parenta5d802695539b981a4001f99d62dd961948b8795
doc/: Use the correct notation for `->' arrows.

I'm still not entirely sure I want to get into this pretty-printing
game, but this way I can at least make the decision in a single place.
doc/concepts.tex
doc/tutorial.tex