summaryrefslogtreecommitdiffhomepage
path: root/NEWS
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-09-28 23:29:35 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-09-28 23:29:35 +0000
commit6e3a3c257e34637f120f2df7a154b76a8346fb6d (patch)
tree0e92c1bcda6a1671187faae2a5b3a2b1d89ab5e9 /NEWS
parent50b58796eeb75b47eb37e85871effa08204bd62a (diff)
downloadmdk-6e3a3c257e34637f120f2df7a154b76a8346fb6d.tar.gz
mdk-6e3a3c257e34637f120f2df7a154b76a8346fb6d.tar.bz2
version 0.5 update
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS21
1 files changed, 16 insertions, 5 deletions
diff --git a/NEWS b/NEWS
index 354017d..de060f5 100644
--- a/NEWS
+++ b/NEWS
@@ -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 $