diff --git a/ChangeLog b/ChangeLog
index a0f0af0ad..9387fc1ac 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2001-08-01  Marius Vollmer  <mvo@zagadka.ping.de>
+
+	* configure.in: Added `--disable-linuxthreads' option and do not
+	define GUILE_PTHREAD_COMPAT nor link with -lpthread when it is
+	given.  Thanks to Cris Cramer!
+
 2001-07-23  Marius Vollmer  <mvo@zagadka.ping.de>
 
 	* Makefile.am (SUBDIRS): Build libguile before ice-9.
diff --git a/INSTALL b/INSTALL
index 961cb2b10..c8428bbdd 100644
--- a/INSTALL
+++ b/INSTALL
@@ -102,6 +102,14 @@ switches specific to Guile you may find useful in some circumstances.
   thread support do not affect you if you don't actually use threads.
 
 
+--disable-linuxthreads  ---  Disable pthread compatability hack on Linux
+
+  If you experience problems on GNU/Linux that are related to
+  pthreads, you might try this option.  Guile with then not link with
+  the pthreads library, but will also not try to be compatible to
+  programs that use both libguile and libpthread.
+
+
 --with-modules  ---  Specify statically linked `modules'
 
   Guile can dynamically load `plugin modules' during runtime, using
diff --git a/libguile/ChangeLog b/libguile/ChangeLog
index 6bc1ccf52..ceb9131df 100644
--- a/libguile/ChangeLog
+++ b/libguile/ChangeLog
@@ -1,3 +1,11 @@
+2001-08-01  Marius Vollmer  <mvo@zagadka.ping.de>
+
+	* chars.c (scm_char_alphabetic_p, scm_char_numeric_p,
+	scm_char_whitespace_p, scm_char_upper_case_p,
+	scm_char_lower_case_p, scm_char_is_both_p): Do not require
+	characters to fulfill isascii in addition to the primary
+	predicate.
+
 2001-07-26  Marius Vollmer  <mvo@zagadka.ping.de>
 
 	* gc_os_dep.c (GC_noop1): Moved into the same #if/#endif context