RPM"s and more

[Thorsten Brunklaus]

> mea culpa.  CVS already has "gcc -mno-cygwin" as the default of
> course. Thorsten, is it worth making a new candidate?

I've put new pre-release builds (both exe and msi) on

http://www.ps.uni-sb.de:/~bruni/mozart-1.3.0/setup.exe

http://www.ps.uni-sb.de:/~bruni/mozart-1.3.0/Mozart.msi

The test suite without dp passed except for unix_write1 which failed but did
not seg fault (was unable to reproduce a segfault again).

Thorsten.