Stefan Haller wrote:
> The documentation of M-Tx says that \tinymusicsize is supposed to set
> the music font size to 13pt. This doesn't work; is there a reason why
> not? I think this would sometimes be useful, and right now I'm in a
> situation where I really need music smaller than 16pt.
There is no \tinymusicsize in MusiXTeX.
Conversely, there is a \tinynotesize which provides notes (not staffs) of
size (size of heads and stems) 0.64 times the normal size, according to the
choosen \musicsize.
>
>
> Ok, so I tried to add this to MusiXTeX (version T-87) myself. A context
> diff of what I came up with is appended below. I know next to nothing
> about TeX and still very little about MusiXTeX, so I didn't really know
--
------------------------------------------------------------------------
Daniel Taupin, Physique des Solides, Univ. Paris-Sud, 91405 ORSAY
E-mail= mailto:[EMAIL PROTECTED]
T�l: (33)1.69.15.60.79, Fax: (33)1.69.15.60.86, home/fax:
(33)1.60.10.26.44
------------------------------------------------------------------------