diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2002-03-19 22:38:13 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2002-03-19 22:38:13 +0000 |
commit | adbf09eaa6abf5864df6c5d7455a3c7a9bd67096 (patch) | |
tree | 7be85bc0152f0c8b942bb32069c461667b46cf69 /doc/mdk_gstart.texi | |
parent | fb81bf784f7eb5ef98dc0e27fcd2542677361d29 (diff) | |
download | mdk-adbf09eaa6abf5864df6c5d7455a3c7a9bd67096.tar.gz mdk-adbf09eaa6abf5864df6c5d7455a3c7a9bd67096.tar.bz2 |
fxn suggestions
Diffstat (limited to 'doc/mdk_gstart.texi')
-rw-r--r-- | doc/mdk_gstart.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/mdk_gstart.texi b/doc/mdk_gstart.texi index 97c180b..c9b936b 100644 --- a/doc/mdk_gstart.texi +++ b/doc/mdk_gstart.texi @@ -4,7 +4,7 @@ @c Free Software Foundation, Inc. @c See the file mdk.texi for copying conditions. -@c $Id: mdk_gstart.texi,v 1.11 2001/09/26 23:15:55 jao Exp $ +@c $Id: mdk_gstart.texi,v 1.12 2002/03/19 22:38:13 jao Exp $ @node Getting started, mixvm.el, MIX and MIXAL tutorial, Top @chapter Getting started @@ -409,7 +409,8 @@ MIX > run Running ... ... done Elapsed time: 10 /Total program time: 11 (Total uptime: 22) -MIX > @end example +MIX > +@end example @noindent (As an aside, the above sample also shows how the virtual machine handles cummulative time statistics and automatic program restart). |