--Hello -There is not, but please feel free to make a request for enhancement at https://github.com/tlaplus/tlaplus/issues-loki
On Tuesday, August 6, 2019 at 11:59:14 AM UTC-7, Han wrote:Hi,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.Thanks,Han
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.