View Revisions: Note 1512

Summary 0000517: tex.setfontdimen