# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1193647074 0
# Node ID d9c3438bb178c06529c4c0fdc4976d679d502efa
# Parent  ea4bb852e0eb60878f5cce4e064fe9d0766d997e
(Introduction): Delete discussion of implementation internals.

diff -r ea4bb852e0eb -r d9c3438bb178 man/widget.texi
--- a/man/widget.texi	Mon Oct 29 00:44:52 2007 +0000
+++ b/man/widget.texi	Mon Oct 29 08:37:54 2007 +0000
@@ -142,19 +142,6 @@
 widget library will also use the new graphic features automatically.
 @end enumerate
 
-In order to minimize the code that is loaded by users who do not
-create any widgets, the code has been split in two files:
-
-@cindex widget library, files
-@table @file
-@item widget.el
-This will declare the user variables, define the function
-@code{define-widget}, and autoload the function @code{widget-create}.
-@item wid-edit.el
-Everything else is here, there is no reason to load it explicitly, as
-it will be autoloaded when needed.
-@end table
-
 @node User Interface, Programming Example, Introduction, Top
 @comment  node-name,  next,  previous,  up
 @section User Interface