release 0.3.1

2 files changed, 27 insertions, 6 deletions

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}.