[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Syntax of cfg file
Just for the record, the pdf reader I am using is preview.app, which is the default one on mac.
I downloaded the pdf file and was able to search it and highlight text with Adobe Reader. Some other readers, apparently including the Toolbox's pdf reader, does not support those features on any pdf file.
On Sunday, March 15, 2020 at 7:09:29 PM UTC-7, Shiyao MA wrote:
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 a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/PVa4CZMUQjE/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/decf0404-13ee-4c7c-833b-e5be1a5122ae%40googlegroups.com.
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/CAJQX3Dw9uuZhvnht2WegVjWYEzWFmoLecsOxWyJ-arRFOuRnSg%40mail.gmail.com.