For those interested, I found Sharp Eye here.

I didn't dig deep, but:
1. Doesn't run on Mac, but may run in PC emulation on a Mac.
2. Outputs midi.
3. Outputs Music XML.
4. Outputs its own (proprietary?) format for notation.

Apparently you can print notation directly from the Sharp Eye program.

Its output is probably not importable into most "commercial" notation programs except using the midi output. This is probably not a real handicap, since virtually all notation programs will import midi and make a usable score from it (but check yours, if you haven't tried it).

Note that I haven't needed to look at whether there are any decent notation programs that might import the XML or the Sharp Eye format, so I don't have much information at hand.

John