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

[salier...@xxxxxxxxx]

Il giorno giovedì 10 gennaio 2019 18:48:15 UTC+1, saks...@xxxxxxxxxxxxxx ha scritto:
> 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

Dear Saksham, 
I've seen the formatting style used in the appendices and I would be very happy if you could share the script.  Thank you!

Cheers,

Giulio