version 0.3.3

1 files changed, 14 insertions, 5 deletions

diff --git a/doc/mdk_mixvm.texi b/doc/mdk_mixvm.texi
index 3392bf0..ee932e6 100644
--- a/doc/mdk_mixvm.texi
+++ b/doc/mdk_mixvm.texi
@@ -159,19 +159,23 @@ given file will be loaded (as with @code{load} @var{file}) and
 executed. If @code{run} is invoked again after program execution
 completion (i.e., after the @code{HLT} instruction has been found in a
 previous run), the program counter is repositioned and execution starts
-again from the beginning. 
+again from the beginning (as a matter of fact, a @code{load} command
+preserving the currently set breakpoints is issued before resuming
+execution).
 @end deffn
 
-@deffn {file command} edit file[.mixal]
+@deffn {file command} edit [file[.mixal]]
 The source file @var{file.mixal} is edited using the editor defined in
 the environment variable @var{MDK_EDITOR}. If this variable is not set,
 the following ones are tried out in order: @var{X_EDITOR}, @var{EDITOR}
-and @var{VISUAL}.
+and @var{VISUAL}. If invoked without argument, the source file for the
+currently loaded MIX file is edited.
 @end deffn
 
 @deffn {file command} compile file[.mixal]
 The source file @var{file.mixal} is compiled (with debug information
-enabled) using @code{mixasm}.
+enabled) using @code{mixasm}. If invoked without argument, the source
+file for the currently loaded MIX file is recompiled.
 @end deffn
 
 
@@ -188,7 +192,12 @@ This command causes the virtual machine to fetch and execute  up to
 counter position. Execution is interrupted either when the specified
 number of instructions have been fetched or a breakpoint is found,
 whatever happens first. If run without arguments, one instruction is
-executed. 
+executed. If @code{next} is invoked again after program execution
+completion (i.e., after the @code{HLT} instruction has been found in a
+previous run), the program counter is repositioned and execution starts
+again from the beginning (as a matter of fact, a @code{load} command
+preserving the currently set breakpoints is issued before resuming
+execution).
 @end deffn
 
 @deffn {debug command} sbp line_number