From 37643001b625c641a93d27305dffae4ce6d4c85c Mon Sep 17 00:00:00 2001 From: nhmall Date: Fri, 12 Jun 2015 13:08:51 -0400 Subject: [PATCH] beta complaint 2 --- doc/Guidebook.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/Guidebook.tex b/doc/Guidebook.tex index cbdfef250..49dcfa5b6 100644 --- a/doc/Guidebook.tex +++ b/doc/Guidebook.tex @@ -3244,7 +3244,7 @@ pattern matching facility: specifies that whenever a message ``You feel hungry'' is shown, the user is prompted with more-prompt, and a message matching -``You displaced '' is not shown at all. +``You displaced \verb+<+something\verb+>+'' is not shown at all. %.lp The order of the defined MSGTYPE-lines is important; the last matching @@ -4208,3 +4208,4 @@ Izchak Miller & Mike Passaretti & Yitzhak Sapir \end{document} + -- 2.40.0