diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-09 14:38:24 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-09 14:38:24 +0000 |
| commit | f09a02db385b5aa2d1ddb9281dbabff694437498 (patch) | |
| tree | 73016bc74d314df080ed812df431dfbf2592f813 /doc/mdk.texi | |
| parent | 0a3b0ac4b3654df6c1533eeadd0f93ecf3352bb5 (diff) | |
| download | mdk-f09a02db385b5aa2d1ddb9281dbabff694437498.tar.gz mdk-f09a02db385b5aa2d1ddb9281dbabff694437498.tar.bz2 | |
version 0.3.3
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. |