[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: change font size of latex pretty-printed TLA spec
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.
> 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
I've seen the formatting style used in the appendices and I would be very happy if you could share the script. Thank you!