[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Syntax of cfg file
I have always wondered if the latex source of specifying system book is available.
The current public pdf version has signifcant drawbacks:
1. We cannot search the whole pdf text. Somehow the file seems to be a "jpg" to the pdf reader.
2. We cannot highlight the text on the pages.
On Monday, 16 March 2020 01:45:09 UTC+8, Stephan Merz wrote:
Please check chapter 14 (in particular 14.7.1) of Specifying Systems, as well as  and the links on that page.
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/00263ada-6a04-421d-96c3-e43b25499294%40googlegroups.com.