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 | 77f788f64c279d4497b922d21aab82b849671f05 (patch) | |
tree | 13dc846946f9d68905d2161e7fa4177a64cbf442 /doc/mdk_gstart.texi | |
parent | 529717287c341cf260a218fa26cfc63b9bf93d96 (diff) | |
download | mdk-77f788f64c279d4497b922d21aab82b849671f05.tar.gz mdk-77f788f64c279d4497b922d21aab82b849671f05.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). |