diff options
Diffstat (limited to 'doc/mdk.texi')
| -rw-r--r-- | doc/mdk.texi | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi index 9683005..9afe029 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -13,8 +13,8 @@ @set UPDATED 20 February 2001 -@set EDITION 0.3 -@set VERSION 0.3 +@set EDITION 0.3.1 +@set VERSION 0.3.1 @set JAO Jose Antonio Ortega Ruiz @set PHILIP Philip E. King @footnotestyle separate @@ -110,6 +110,7 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}). * Problems:: Reporting bugs. * Concept Index:: Index of concepts. + @detailmenu --- The Detailed Node Listing --- @@ -120,6 +121,7 @@ Installing @sc{mdk} * Basic installation:: * Emacs support:: * Special configure flags:: +* Supported platforms:: MIX and MIXAL tutorial @@ -184,10 +186,10 @@ Interactive commands gmixvm * Invoking @code{gmixvm}:: Invoking the GTK+ interface. -* MIXVM console:: +* MIXVM console:: Using @code{mixvm} commands. * MIX virtual machine:: The MIX virtual machine window. -* MIXAL source view:: -* MIX devices view:: +* MIXAL source view:: Viewing the MIXAL source code. +* MIX devices view:: Device output. * Menu and status bars:: Available menu commands. @code{mixasm}, the MIXAL assembler |