Re: change font size of latex pretty-printed TLA spec

[saksha...@xxxxxxxxxxxxxx]

I have a python script that helps me pretty print my proofs, for example the specs and proofs in the appendices of https://arxiv.org/abs/1606.01387. I can share it if you like the formatting.

Best,

Saksham Chand

On Thursday, January 10, 2019 at 12:16:51 PM UTC-5, sali...@xxxxxxxxx wrote:

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