diff options
Diffstat (limited to 'doc/mdk.texi')
| -rw-r--r-- | doc/mdk.texi | 38 |
1 files changed, 17 insertions, 21 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi index ba5b94f..338917b 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -92,24 +92,17 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}). @end ifinfo @menu -* Introduction:: -* Installing MDK:: -* MIX and MIXAL tutorial:: Learn the innards of MIX and MIXAL. -* Getting started:: Basic usage of the @sc{mdk} tools. -* mixvm.el:: Using @code{mixvm} within Emacs. -* mixvm:: Invoking and using the MIX virtual machine. -* gmixvm:: -* mixasm:: Invoking the MIXAL assembler. -* Copying:: @sc{mdk} licensing terms. -* Problems:: Reporting bugs. -* Concept Index:: Index of concepts. - - - - - - - +* Introduction:: +* Installing MDK:: Installing GNU MDK from the source tarball. +* MIX and MIXAL tutorial:: Learn the innards of MIX and MIXAL. +* Getting started:: Basic usage of the @sc{mdk} tools. +* mixvm.el:: Using @code{mixvm} within Emacs. +* mixvm:: Invoking and using the MIX virtual machine. +* gmixvm:: Invoking and using the GTK+ virtual machine. +* mixasm:: Invoking the MIXAL assembler. +* Copying:: @sc{mdk} licensing terms. +* Problems:: Reporting bugs. +* Concept Index:: Index of concepts. @detailmenu --- The Detailed Node Listing --- @@ -184,9 +177,12 @@ Interactive commands gmixvm -* Invoking @code{gmixvm}:: -* MIX virtual machine:: -* Menu and status bars:: +* Invoking @code{gmixvm}:: Invoking the GTK+ interface. +* MIXVM console:: +* MIX virtual machine:: The MIX virtual machine window. +* MIXAL source view:: +* MIX devices view:: +* Menu and status bars:: Available menu commands. @code{mixasm}, the MIXAL assembler |