diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-28 23:29:35 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-28 23:29:35 +0000 |
| commit | 18732630391d950b59f8424ece9018f91ee2fea4 (patch) | |
| tree | 7a5580a5b60a9cb8d370712e75903e0acf0d6020 | |
| parent | bdcec83c8d4955eced60e3dd5b17d0a53f1913ff (diff) | |
| download | mdk-18732630391d950b59f8424ece9018f91ee2fea4.tar.gz mdk-18732630391d950b59f8424ece9018f91ee2fea4.tar.bz2 | |
version 0.5 update
| -rw-r--r-- | NEWS | 21 |
1 files changed, 16 insertions, 5 deletions
@@ -6,9 +6,14 @@ See the end for copying conditions. Please send mdk bug reports to bug-mdk@gnu.org. --------------------------------------------------------------------------- -* Version 0.5 +* Version 0.5 (29/09/01) -** Added guile support. New utility 'mixguile'... +** Added Guile support: + - New utility 'mixguile': a Guile shell with an embedded MIX + virtual machine. + - gmixvm and mixvm have an embedded Guile interpreter: Scheme + can be used as an extension language. + - See the updated User's Manual for details. ** New (g)mixvm commands: - psrc: print the current program's source file path @@ -26,9 +31,15 @@ Please send mdk bug reports to bug-mdk@gnu.org. - devdir -> sddir (set the devices dir), pddir (print the devices dir) +** Major documentation update to include Guile support and various + cosmetic corrections for pretty ps and pdf manuals (provided in the + distribution in addition to the html format). + ** In gmixvm, when a font specified in the config file cannot be loaded, it is removed from the configuration. +** gmixvm now accepts the standard command line options -vuh + ** Bug fix: when the MIX font is changed in gmixvm, the loc widget font is correctly updated. @@ -180,7 +191,7 @@ Please send mdk bug reports to bug-mdk@gnu.org. ** The colors used for highlighting MIXAL source lines in gmixvm are now customizable. -** The fonts used used in the different gmixvm widgets are now +** The fonts used in the different gmixvm widgets are now customizable. ** Input/output for all MIX block devices is shown in gmixvm. @@ -273,7 +284,7 @@ Please send mdk bug reports to bug-mdk@gnu.org. ** Initial version -------------------------------------------------------- +--------------------------------------------------------------------------- Copying information: Copyright (C) 2000, 2001, Free Software Foundation, Inc. @@ -290,4 +301,4 @@ Copyright (C) 2000, 2001, Free Software Foundation, Inc. --- -$Id: NEWS,v 1.35 2001/09/18 22:53:18 jao Exp $ +$Id: NEWS,v 1.36 2001/09/28 23:29:35 jao Exp $ |