From dd7c71f05d32aba4cd00bd717b9baa21961e70f1 Mon Sep 17 00:00:00 2001
From: Ryan Culpepper <ryanc@racket-lang.org>
Date: Tue, 13 Jul 2010 09:49:46 -0600
Subject: [PATCH] macro-stepper: small doc update

original commit: df4e37fe08b4e744769568efc3e80bc606986042
---
 collects/macro-debugger/macro-debugger.scrbl | 21 ++------------------
 1 file changed, 2 insertions(+), 19 deletions(-)

diff --git a/collects/macro-debugger/macro-debugger.scrbl b/collects/macro-debugger/macro-debugger.scrbl
index 051ce25..3192ab3 100644
--- a/collects/macro-debugger/macro-debugger.scrbl
+++ b/collects/macro-debugger/macro-debugger.scrbl
@@ -62,7 +62,7 @@ user to specify macros whose expansions should be hidden.
 
 Warning: because of limitations in the way macro expansion is
 selectively hidden, the resulting syntax may not evaluate to the same
-thing as the original syntax.
+result as the original syntax.
 
 @defproc[(expand-only [stx any/c] [transparent-macros (listof identifier?)])
          syntax?]{
@@ -298,24 +298,7 @@ selected term are highlighted in yellow.
 The available secondary partitionings are:
 @itemize[
 @item{@scheme[bound-identifier=?]}
-@item{@scheme[module-identifier=?]}
-@item{@scheme[module-or-top-identifier=?]}
-@item{@bold{symbolic-identifier=?}: 
-  Two identifiers are symbolic-identifier=? if discarding all lexical
-  context information yields the same symbol.
-}
-@item{@bold{same marks}: 
-  Two identifiers have the same marks if (barring nonhygienic macros)
-  they were produced by the same macro transformation step.
-}
-@item{@bold{same source module}:
-  The bindings of the two identifiers come from definitions in the
-  same module.
-}
-@item{@bold{same nominal module}:
-  The bindings of the two identifiers were imported into the current
-  context by requiring the same module.
-}
+@item{@scheme[free-identifier=?]}
 ]
 
 @subsection{Properties}