diff options
Diffstat (limited to 'doc/mdk.texi')
| -rw-r--r-- | doc/mdk.texi | 10 |
1 files changed, 6 insertions, 4 deletions
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. |