It was discussed on the abc users' list. I have about 16 e-mails saved from that referring to microtonality and 2 relating to quarter tones. I haven't time to go through them just now, but if you like I could forward them to you. (or you can wait until I've time to look at them and pick out anything relevant).
Mick