From 88bd4cce6c7ae8a9f57c162c0ad29f5f6a268696 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Sun, 19 Feb 2012 16:05:57 -0500
Subject: [PATCH] Document `quote' et al in ISL+lambda.

Closes PR 12585.
---
 collects/scribblings/htdp-langs/intermediate-lambda.scrbl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/collects/scribblings/htdp-langs/intermediate-lambda.scrbl b/collects/scribblings/htdp-langs/intermediate-lambda.scrbl
index c173528796..99827f5110 100644
--- a/collects/scribblings/htdp-langs/intermediate-lambda.scrbl
+++ b/collects/scribblings/htdp-langs/intermediate-lambda.scrbl
@@ -95,6 +95,8 @@ level as they did in the @secref["intermediate"] level.
 
 @(define-forms/normal define)
 
+@(beginner-abbr-forms quote quasiquote unquote unquote-splicing)
+
 @(prim-forms ("intermediate-lam")
              define 
              lambda