Hi Kieren, hi David, Am Di., 21. Jan. 2020 um 22:45 Uhr schrieb David Kastrup <d...@gnu.org>:
> And music-pitches is also convenient to know. David, you remember my suggestion to generate that "General Code Reference" with an Index ... ? Kieren showed me the problem in Salzburg and I suggested quick'n dirty event-chord-pitches, music-pitches feels a bit cleaner, though. Cheers, Harm