chiark / gitweb /
doc/meta.tex: Fix nonterminal `<...>' to `@<...>'.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 26 May 2016 08:26:09 +0000 (09:26 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 22 Jul 2017 17:13:31 +0000 (18:13 +0100)
doc/meta.tex

index bbe196435c01b13bbfc07e3a2179664edd633d12..640473e73a80c46c689c68d1e80366f75c3305ed 100644 (file)
 \section{Class finalization protocol} \label{sec:meta.finalization}
 
 \begin{describe*}
-    {\dhead{gf}{sod-class-precedence-list <class> @> @<list>}
+    {\dhead{gf}{sod-class-precedence-list @<class> @> @<list>}
      \dhead{gf}{sod-class-type @<class> @> @<c-type>}
      \dhead{gf}{sod-class-chain-head @<class> @> @<class>}
      \dhead{gf}{sod-class-chain @<class> @> @<list>}