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

[tlaplus] Re: print module in ASCII from TLA+ Toolbox?

Hello - 

There is not, but please feel free to make a request for enhancement at https://github.com/tlaplus/tlaplus/issues


On Tuesday, August 6, 2019 at 11:59:14 AM UTC-7, Han wrote:

Is it possible to print (to a printer) a module from TLA+ Toolbox in ASCII (i.e. not in pretty-printer format) ? I was not able to find it.  My current workaround is to open the file in another editor but it's cumbersome to get a good print result. 


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/7c12296f-bd2a-40fd-ac81-20f0f3310812%40googlegroups.com.