old \=: bug and docs issues

[Luis Quesada]

Gabor Szokoli wrote:

> From: "Denys Duchier" <Denys.Duchier at ps.uni-sb.de>
>
> > gabor.szokoli at vanderbilt.edu (Gabor Szokoli) writes:
> >
> > > Mozart Engine 1.2.3 (20011204) playing Oz 3:
> >
> > are you running the current release (bug not yet fixed) or compiled
> > from the cvs sources (where I thought the bug was fixed)?
>
> You're right of course: I have the stock 1.2.3 release. The bug was
> _found_ in october, not fixed...
> Sorry.
>

The bug has been indeed fixed. In my CVS version (dated 20020111),  the
example I reported works just fine.

Luis

--
Catholic University of Louvain
Department of Computing Science and Engineering
Place Sainte Barbe, 2
B-1348 Louvain-la-Neuve, Belgium
Phone:  (++32) (10) 47 90 13
Fax:    (++32) (10) 45 03 45
Web:    http://www.info.ucl.ac.be/~luque



-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.