<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">&gt; See `scribble/xref&#39; and `setup/xref&#39; (both documented).<br>

</blockquote><div><br>Thanks<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">A good place to see how to use these is the implementation of that<br>


macro.  (Note that it must be a macro.)<br>
<br>
You can also look in my interactive hack for related useful<br>
functionality.  For example:<br>
<br>
  -&gt; ,apropos flatt        ; (no pun intended, I swear!)<br>
  Matches: flatten.<br>
  -&gt; ,describe flatten<br>
  `flatten&#39; is a bound identifier,<br>
    defined in &quot;scheme/list.ss&quot;<br>
    required through &quot;scheme/init.ss&quot;<br></blockquote><div><br>That sounds cool.<br>Is it in any package?<br>It does not seem to be in any file on my local distribution (and (help apropos) doesn&#39;t help ;) ).<br>

I found it on the web though : <a href="http://barzilay.org/misc/interactive3.ss">http://barzilay.org/misc/interactive3.ss</a><br>but is there a good way to include this file?<br><br>Laurent<br><br><br></div></div><br>