From fd08893b4d8b155eb178161963071b1a76f726be Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sun, 8 Apr 2001 22:40:26 +0000
Subject: release 0.3.1

---
 doc/mdk.texi         | 12 +++++++-----
 doc/mdk_install.texi | 21 ++++++++++++++++++++-
 2 files changed, 27 insertions(+), 6 deletions(-)

(limited to 'doc')

diff --git a/doc/mdk.texi b/doc/mdk.texi
index 9683005..9afe029 100644
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -13,8 +13,8 @@
 
 
 @set UPDATED 20 February 2001
-@set EDITION 0.3
-@set VERSION 0.3
+@set EDITION 0.3.1
+@set VERSION 0.3.1
 @set JAO Jose Antonio Ortega Ruiz
 @set PHILIP Philip E. King
 @footnotestyle separate
@@ -110,6 +110,7 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}).
 * Problems::                    Reporting bugs.
 * Concept Index::               Index of concepts.
 
+
 @detailmenu
  --- The Detailed Node Listing ---
 
@@ -120,6 +121,7 @@ Installing @sc{mdk}
 * Basic installation::          
 * Emacs support::               
 * Special configure flags::     
+* Supported platforms::         
 
 MIX and MIXAL tutorial
 
@@ -184,10 +186,10 @@ Interactive commands
 gmixvm
 
 * Invoking @code{gmixvm}::      Invoking the GTK+ interface.
-* MIXVM console::               
+* MIXVM console::               Using @code{mixvm} commands.
 * MIX virtual machine::         The MIX virtual machine window.
-* MIXAL source view::           
-* MIX devices view::            
+* MIXAL source view::           Viewing the MIXAL source code.
+* MIX devices view::            Device output.
 * Menu and status bars::        Available menu commands.
 
 @code{mixasm}, the MIXAL assembler
diff --git a/doc/mdk_install.texi b/doc/mdk_install.texi
index 78690ba..6881729 100644
--- a/doc/mdk_install.texi
+++ b/doc/mdk_install.texi
@@ -8,6 +8,7 @@
 * Basic installation::          
 * Emacs support::               
 * Special configure flags::     
+* Supported platforms::         
 @end menu
 
 @node Download, Requirements, Installing MDK, Installing MDK
@@ -145,7 +146,7 @@ optionally adding the following line to your @file{.emacs} file:
 
 
 
-@node Special configure flags,  , Emacs support, Installing MDK
+@node Special configure flags, Supported platforms, Emacs support, Installing MDK
 @comment  node-name,  next,  previous,  up
 @section Special configure flags
 
@@ -174,6 +175,24 @@ file, or run
 configure --help
 @end example
 
+@node Supported platforms,  , Special configure flags, Installing MDK
+@comment  node-name,  next,  previous,  up
+@section Supported platforms
+
+GNU MDK has been tested in the following platforms:
+
+@itemize
+@item
+Debian GNU/Linux 2.2/2.3
+@item
+Redhat GNU/Linux 7.0 (Agustin Navarro), 6.2 (Roberto Ferrero)
+@item
+FreeBSD 4.2 (Ying-Chieh Liao)
+@end itemize
+
+MDK will probably work on any GNU/Linux and BSD platform. If you try it
+in a platform not listed above, please send a mail to
+@email{jao@@gnu.org, the author}.
 
 
 
-- 
cgit v1.2.3