On Apr 3, 2009, at 4:49 PM, lilypond-devel-requ...@gnu.org wrote: Mostly correct, except that Holton is a brand. There are many double horns that are not Holtons.
You're right! I took private horn lessons almost 20 years ago, playing a school instrument which was a Holton. My teacher explained the deal about double and triple horns. Somehow in my head I made Holton synonymous with double horn. Nice to have that crossed wire fixed. Thanks, A _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
