Mercurial > urweb

changeset 2107:6700f3700328

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reference manual: fix rendering of field removal operators
author Adam Chlipala <adam@chlipala.net>
date Thu, 22 Jan 2015 11:00:17 -0500
parents 18ef1db770f6
children 1f1575eff4b9
files doc/manual.tex
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/doc/manual.tex	Thu Jan 22 09:55:05 2015 -0500
+++ b/doc/manual.tex	Thu Jan 22 11:00:17 2015 -0500
@@ -6,8 +6,8 @@
 \newcommand{\mt}[1]{\mathsf{#1}}
 
 \newcommand{\rc}{+ \hspace{-.075in} + \;}
-\newcommand{\rcut}{\; \texttt{--} \;}
-\newcommand{\rcutM}{\; \texttt{---} \;}
+\newcommand{\rcut}{\; \texttt{-{}-} \;}
+\newcommand{\rcutM}{\; \texttt{-{}-{}-} \;}
 
 \begin{document}