I think it's a bug of CJKOS instead of Plucker.
You are correct. The problem disappears after I upgrade to ChOS526. I think the old ChOS gave the wrong metrics. Sorry for the confusions.
_______________________________________________
plucker-list mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-list
