From 2a7ef272eddb7cfbadeadcc52b299ba846459ab2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 18 Jan 2007 14:23:41 +0000 Subject: [PATCH] commit changed before moving (I really should have done this on a branch) svn: r5398 original commit: 2b78c44c4cd70a9f5394fb427a0bdf548ab96284 --- collects/mred/doc.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/mred/doc.txt b/collects/mred/doc.txt index 18cbf1d3..3fef0dcb 100644 --- a/collects/mred/doc.txt +++ b/collects/mred/doc.txt @@ -32,4 +32,6 @@ The edit.ss module exports the following function. _wxme.ss_ -Reader syntax for PLT graphical format. +#reader support for PLT graphical format. See also the "wxme" +sub-collection of the "mred" collection. +