diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-18 22:53:18 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-18 22:53:18 +0000 |
| commit | bdee72222da97c3d3c553232dc2a98c035ad1e2f (patch) | |
| tree | 0bcfb4847990de764ca0ec2dac302d322f3e1f8b /NEWS | |
| parent | d1a62581e85605988a3b58e319a995b167a772ca (diff) | |
| download | mdk-bdee72222da97c3d3c553232dc2a98c035ad1e2f.tar.gz mdk-bdee72222da97c3d3c553232dc2a98c035ad1e2f.tar.bz2 | |
partial doc update
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 27 |
1 files changed, 26 insertions, 1 deletions
@@ -10,11 +10,36 @@ Please send mdk bug reports to bug-mdk@gnu.org. ** Added guile support. New utility 'mixguile'... +** New (g)mixvm commands: + - psrc: print the current program's source file path + - pprog: print the current program's path + - pline: print the current program line + - pstat: print the current virtual machine status + - slog: set on/off the logging of info messages to stdout (or + the command log in gmixvm) + +** For the sake of coherence, the following (g)mixvm commands + have been renamed: + - tracing -> strace + - timing -> stime (set on/off timing), + ptime (print timing stats) + - devdir -> sddir (set the devices dir), + pddir (print the devices dir) + +** In gmixvm, when a font specified in the config file cannot be + loaded, it is removed from the configuration. + +** Bug fix: when the MIX font is changed in gmixvm, the loc widget + font is correctly updated. + ** Bug fix: help messages are now correctly aligned in (g)mixvm. ** Bug fix: timing statitics for the MOVE instruction are correctly computed. +** Bug fix: pressing return at an empty 'MIX >' prompt does not + produce an error message. + --------------------------------------------------------------------------- * Version 0.4.2 (17/08/01) @@ -265,4 +290,4 @@ Copyright (C) 2000, 2001, Free Software Foundation, Inc. --- -$Id: NEWS,v 1.34 2001/09/16 22:17:33 jao Exp $ +$Id: NEWS,v 1.35 2001/09/18 22:53:18 jao Exp $ |