[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

change font size of latex pretty-printed TLA spec

Dear everyone,
 I'm creating a pretty-printed version of my tla specs using the tla2tex.TeX tool. Does anyone know how to modify the font size so that those fit properly in a paper? I've already had a look if the tool provides this option with no results.

Thanks in advance