diff options
Diffstat (limited to 'doc/mdk.texi')
| -rw-r--r-- | doc/mdk.texi | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi index 31c36bf..7760fac 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -13,8 +13,8 @@ @set UPDATED 9 June 2001 -@set EDITION 0.3.4 -@set VERSION 0.3.5 +@set EDITION 0.4 +@set VERSION 0.4 @set JAO Jose Antonio Ortega Ruiz @set PHILIP Philip E. King @footnotestyle separate @@ -119,6 +119,7 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}). + @detailmenu --- The Detailed Node Listing --- @@ -190,6 +191,7 @@ Interactive commands * File commands:: Loading and executing programs. * Debug commands:: Debugging programs. * State commands:: Inspecting the virtual machine state. +* Configuration commands:: @code{gmixvm}, the GTK virtual machine |