diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-10 23:04:54 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-10 23:04:54 +0000 |
| commit | d07b8b75a8676f2dec14c4c315434873c5a1fd75 (patch) | |
| tree | aa3d3e74ef19f17233f923351787257b3e28864f /doc/mdk.texi | |
| parent | d2f98d2496e318227f1cc56dc21bed62cccc69f7 (diff) | |
| download | mdk-d07b8b75a8676f2dec14c4c315434873c5a1fd75.tar.gz mdk-d07b8b75a8676f2dec14c4c315434873c5a1fd75.tar.bz2 | |
version 0.4
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 |