Re: Some bug fixes for the January release

I don't have a long list of bug fixes at hand, I only want to reiterate my concerns about the incomplete H98 library support in Hugs, see: http://www.cse.ogi.edu/PacSoft/projects/Hugs/pages/hugsman/diffs.html#sect9.... I consider this a rather fundamental omission and a constant source of porting troubles, so I hoped that these things would be in the next Hugs release. But given the release date in just a week (IIRC), there's little hope for this. :-( It's a little bit like having a Java system without a complete java.lang.* package... And another thing: On Unix platforms, two files are *always* compiled without optimizations due to some problems with some compilers, IIRC. Shouldn't this be autoconf-ed? Cheers, Sven