From 2c40b5475f0b968dcd5ac2f6d9e353c9f5463763 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Mon, 8 Apr 2002 00:26:37 +0000
Subject: candidate release 1.0

---
 doc/mdk_mixvm.texi | 29 +++++++++++++++++++++++------
 1 file changed, 23 insertions(+), 6 deletions(-)

(limited to 'doc/mdk_mixvm.texi')

diff --git a/doc/mdk_mixvm.texi b/doc/mdk_mixvm.texi
index 2eae874..7992567 100644
--- a/doc/mdk_mixvm.texi
+++ b/doc/mdk_mixvm.texi
@@ -1,10 +1,10 @@
 @c -*-texinfo-*-
 @c This is part of the GNU MDK Reference Manual.
-@c Copyright (C) 2000, 2001
+@c Copyright (C) 2000, 2001, 2002
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_mixvm.texi,v 1.10 2001/09/26 23:15:55 jao Exp $
+@c $Id: mdk_mixvm.texi,v 1.11 2002/04/08 00:26:37 jao Exp $
 
 @node mixvm, gmixvm, mixasm, Top
 @comment  node-name,  next,  previous,  up
@@ -37,8 +37,8 @@ setting to aid you in debugging your code. For a tutorial description of
 for each available single letter switch):
 
 @example
-mixvm [-vhurdq] [--version] [--help] [--usage] [--run] [--dump]
-      [--noinit]  [FILE[.mix]]
+mixvm [-vhurdtq] [--version] [--help] [--usage] [--run] [--dump]
+      [--time] [--noinit]  [FILE[.mix]]
 @end example
 
 @noindent
@@ -73,6 +73,13 @@ comparison flag and overflow toggle after executing the program named
 @var{FILE}. See @xref{Non-interactive mode}, for sample usage.
 @end defopt
 
+@defopt -t
+@defoptx --time
+This option must be used in conjuction with @code{-r}, and tells
+@code{mixvm} to print virtual time statistics for the program's
+execution.
+@end defopt
+
 When run without the @code{-r} flag, @code{mixvm} enters its interactive
 mode, showing you a prompt like this one:
 
@@ -107,7 +114,8 @@ startup.
 
 You can enter the interactive mode of the MIX virtual machine by simply
 invoking @code{mixvm} without arguments. You will then presented a shell
-prompt 
+prompt@footnote{The default command prompt, @samp{MIX > }, can be
+changed using the @code{prompt} command (@pxref{Configuration commands})}
 
 @example
 MIX >
@@ -142,7 +150,7 @@ all available commands.
 * File commands::               Loading and executing programs.
 * Debug commands::              Debugging programs.
 * State commands::              Inspecting the virtual machine state.
-* Configuration commands::      Storing mixvm settings.
+* Configuration commands::      Changing and storing mixvm settings.
 * Scheme commands::             
 @end menu
 
@@ -712,6 +720,15 @@ specify an alternative location for storing these device files, while
 @code{pddir} prints the current device directory.
 @end deffn
 
+Finally, you can change the default command prompt, @samp{MIX > },
+using the @code{prompt} command:
+
+@deffn {config command} prompt PROMPT
+Changes the command prompt to @var{prompt}. If you want to include
+white space(s) at the end of the new prompt, bracket @var{prompt} using
+double quotes (e.g., @code{prompt ">> "}).
+@end deffn
+
 @node Scheme commands,  , Configuration commands, Commands
 @subsection Scheme commands
 
-- 
cgit v1.2.3