Barry Smith writes: > actual official notice implies that one could, say, rename CMR10 > as CMBX12, which certainly qualifies as mischief. ;) In practice > it's difficult to imagine serious practical difficulties. > so can i redistribute them with all the names changed to lowercase? sebastian