From c5dac3017cac348236272b640ef485fa6ce05f90 Mon Sep 17 00:00:00 2001
From: Daniel Barlow <dan@telent.net>
Date: Fri, 7 Feb 2003 02:14:24 +0000
Subject: [PATCH] 0.7.12.25 	Short note in the user's manual to document
 (or at least allude 	vaguely to) the
 ext:*module-provider-functions* list as it 	applies to
 PROVIDE/REQUIRE

---
 doc/beyond-ansi.sgml |   11 +++++++++++
 version.lisp-expr    |    2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/doc/beyond-ansi.sgml b/doc/beyond-ansi.sgml
index e175fa4..65e201e 100644
--- a/doc/beyond-ansi.sgml
+++ b/doc/beyond-ansi.sgml
@@ -139,6 +139,17 @@ is also supported.</para>
 
 </sect2>
 
+<sect2><title>Customization Hooks for Users</title>
+
+<para>The behaviour of <function>require</function> when called with only
+one argument is implementation-defined.  In &SBCL; it calls functions
+on the user-settable list <varname>sb-ext:*module-provider-functions*</varname>
+- see the <function>require</function> documentation string for details.
+
+<para>The toplevel repl prompt may be customized, and the function
+that reads user input may be replaced completely.  <!-- FIXME but I 
+don't currently remember how -->
+
 <sect2><title>Tools To Help Developers</title>
 
 <para>&SBCL; provides a profiler and other extensions to the &ANSI;
diff --git a/version.lisp-expr b/version.lisp-expr
index aeab4ed..690b192 100644
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.12.24"
+"0.7.12.25"
-- 
1.7.10.4