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 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'doc/mdk.texi')

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
-- 
cgit v1.2.3