On Tue, 2004-01-20 at 11:54, Matthias Nagorni wrote:
Hello,
after I noticed that polyphony was completely broken in ams < 1.7.2
I rapidly fixed it (thanks to Fons Adriaensen for valueable hints).
Very cool; my apologies for not getting the promised test cases in
quickly, I was away for the weekend.
Thanks.