minor changes

1 files changed, 39 insertions, 11 deletions

diff --git a/doc/mdk.texi b/doc/mdk.texi
index 1a985c5..ba5b94f 100644
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -10,6 +10,7 @@
 @set EDITION 0.3
 @set VERSION 0.3
 @set JAO Jos@'e Antonio Ortega Ruiz
+@set PHILIP Philip E. King
 @footnotestyle separate
 
 @ifinfo
@@ -79,29 +80,48 @@ assembler-like language for programming a virtual computer called
 MIX. They were created by Donald Knuth in the first volume of @cite{The
 Art of Computer Programming} (Addison Wesley, 1997).
 
+GNU @sc{mdk} is an official GNU package.
+
 GNU @sc{mdk} was written by @value{JAO} and is released under the GNU
 General Public license (@pxref{Copying}), so that users are free to share
 and improve it.
 
-GNU @sc{mdk} is an official GNU package.
+@value{PHILIP} has contributed to this package development with many
+helpful discussions, as well as actual code (@pxref{mixvm.el}).
 
 @end ifinfo
 
 @menu
-* Introduction::                
-* MIX and MIXAL tutorial::      Learn the innards of MIX and MIXAL.
-* Getting started::             Basic usage of the @sc{mdk} tools.
-* mixvm::                       Invoking the MIX virtual machine.
-* mixvm.el::                    Using @code{mixvm} within Emacs.
-* mixasm::                      Invoking the MIXAL assembler.
-* Copying::                     @sc{mdk} licensing terms.
-* Problems::                    Reporting bugs.
-* Concept Index::               Index of concepts.
+* 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.
+
+
+
+
+
+
 
 
 @detailmenu
  --- The Detailed Node Listing ---
 
+Installing @sc{mdk}
+
+* Download::                    
+* Requirements::                
+* Basic installation::          
+* Emacs support::               
+* Special configure flags::     
+
 MIX and MIXAL tutorial
 
 * The MIX computer::            Architecture and instruction set 
@@ -162,6 +182,12 @@ Interactive commands
 * Debug commands::              Debugging programs.
 * State commands::              Inspecting the virtual machine state.
 
+gmixvm
+
+* Invoking @code{gmixvm}::      
+* MIX virtual machine::         
+* Menu and status bars::        
+
 @code{mixasm}, the MIXAL assembler
 
 * Invoking @code{mixasm}::      @code{mixasm} options
@@ -170,10 +196,12 @@ Interactive commands
 @end menu
 
 @include mdk_intro.texi
+@include mdk_install.texi
 @include mdk_tut.texi
 @include mdk_gstart.texi
-@include mdk_mixvm.texi
 @include mdk_emixvm.texi
+@include mdk_mixvm.texi
+@include mdk_gmixvm.texi
 @include mdk_mixasm.texi
 @include gpl.texi
 @include mdk_bugs.texi