From 82f6c33458683ceec2973020fe18a00bb800688c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 10 Feb 2009 02:24:15 +0000 Subject: [PATCH] doc revised honu id syntax svn: r13511 --- collects/scribblings/honu/honu.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/honu/honu.scrbl b/collects/scribblings/honu/honu.scrbl index d5d27ff5b3..8eef910e02 100644 --- a/collects/scribblings/honu/honu.scrbl +++ b/collects/scribblings/honu/honu.scrbl @@ -95,7 +95,7 @@ The syntax for Honu identifiers is the union of Java identifiers plus characters: @t{ - @hspace[2] @litchar{+} @litchar{-} @litchar{_} @litchar{=} @litchar{?} + @hspace[2] @litchar{+} @litchar{-} @litchar{=} @litchar{?} @litchar{:} @litchar{<} @litchar{>} @litchar{.} @litchar{!} @litchar{%} @litchar{^} @litchar{&} @litchar{*} @litchar{/} @litchar{~} @litchar{|} }