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 | 07d87f081c9866c2e24358d4b1b4ddd9b2fea967 (patch) | |
| tree | 4cbcccfab63c241d0a20685e2fb81c3bc560ba99 /doc/mdk.texi | |
| parent | 25a8b9398f635ce31462b4c1a3e426e1e7976f01 (diff) | |
| download | mdk-07d87f081c9866c2e24358d4b1b4ddd9b2fea967.tar.gz mdk-07d87f081c9866c2e24358d4b1b4ddd9b2fea967.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. |