Hi everyone!
Long live the hugs-users list!
On Wed, 3 Nov 1999, Mark P Jones wrote:
> Please no, no, no! If Josef had been using the September release,
> then he wouldn't have had a problem, and I dare say that the same
> goes for your examples too John. This issue was specifically
> addressed in that release. So please try your examples with that
> release ... if the problems persist, then you should let us know.
> But I doubt that you'll see them again.
>
I finally got hold of an installation of the September release and it
behaves in the exact same way.
I'm still curious about the hint in the errormessage that the problem
might be undecidable. Can you comment on that?
/Josef
