From 25c86905d0b25796cd0c672c2d512fd776271272 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Tue, 13 Jun 2006 14:53:12 +0000 Subject: [PATCH] pr8106 svn: r3348 --- collects/xml/doc.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/xml/doc.txt b/collects/xml/doc.txt index d06558926c..4d8b2507f0 100644 --- a/collects/xml/doc.txt +++ b/collects/xml/doc.txt @@ -1,8 +1,8 @@ _XML_ Library ============= -Files: xml.ss xmlr.ss xmls.ss -Signature: xml^ +Files: _xml.ss_ +Signature: _xml^_ Basic XML Data Types ==================== @@ -258,7 +258,7 @@ Note: Xexpr is the only important one to understand. Even then, The PList Library ================= -Files: plist.ss +Files: _plist.ss_ The PList library provides the ability to read and write xml documents which conform to the "plist" DTD, used to store 'dictionaries' of string - value