Merge work:/home/bk/mysql

into evoq.mwagner.org:/opt/local/x1/work/bk/mysql


Docs/manual.texi:
  Auto merged

Docs/manual.texi

@@ -40928,6 +40928,14 @@ colour coding, dump functionality and much more.
 DBUI is a Gtk graphical database editor.
 @item @uref{http://www.rtlabs.com/, MacSQL}
 GUI for MySQL, ODBC, and JDBC databases for the Mac OS.
+@item @uref{http://www.caleb.com.au/, JRetriever}
+JRetriever is a generic database front-end tool for JDBC compliant
+databases written with Java 2. JRetriever displays database
+tables/views in a Windows explorer-like front end. Users can retrieve
+data either by clicking on the table folder or by composing their own SQL
+statements with our built-in SQL editor. The tool has been tested with
+Oracle 8 and MySQL as the back-end databases. It requires JDK 1.3 from
+JavaSoft.
 @end itemize
 
 @cindex Web clients