From 07d87f081c9866c2e24358d4b1b4ddd9b2fea967 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sat, 9 Jun 2001 14:38:24 +0000
Subject: version 0.3.3

---
 doc/mdk.texi | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'doc/mdk.texi')

diff --git a/doc/mdk.texi b/doc/mdk.texi
index a525243..699e3e6 100644
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -12,9 +12,9 @@
 @end direntry
 
 
-@set UPDATED 20 February 2001
-@set EDITION 0.3.2
-@set VERSION 0.3.2
+@set UPDATED 9 June 2001
+@set EDITION 0.3.3
+@set VERSION 0.3.3
 @set JAO Jose Antonio Ortega Ruiz
 @set PHILIP Philip E. King
 @footnotestyle separate
@@ -116,6 +116,8 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}).
 
 
 
+
+
 @detailmenu
  --- The Detailed Node Listing ---
 
@@ -188,7 +190,7 @@ Interactive commands
 * Debug commands::              Debugging programs.
 * State commands::              Inspecting the virtual machine state.
 
-gmixvm
+@code{gmixvm}, the GTK virtual machine
 
 * Invoking @code{gmixvm}::      Invoking the GTK+ interface.
 * MIXVM console::               Using @code{mixvm} commands.
-- 
cgit v1.2.3