[tlaplus] Re: Is the latex source for specifying systems available? Or any other version of the published pdf file?

[Leslie Lamport <tlaplus.ll@xxxxxxxxx>]

Thank you for pointing out this problem.  It appears that an incorrect version of the pdf file was on the Web site.  I have posted a new version; please let me know if it solves the problem.  And I would greatly appreciate it if you could check that there have been no changes to the text--except that the index has been reformatted.

Leslie Lamport

On Sunday, July 4, 2021 at 1:20:38 PM UTC-7 je...@xxxxxxxxxxxxxxx wrote:

I’m curious about this question too. There’s something quirky about the Specifying Systems PDF that makes it different from all other PDFs I’ve read. Preview.app can search others, but not Specifying Systems. Only Google Chrome to you knowledge can search it. I read papers on my iPad with a great app, PDF Expert. With other PDFs, highlighting a passage adds its text to a list of highlights. With Specifying Systems, the highlighted text appears as gibberish. (See image.) There’s some character encoding issue that makes this PDF different. Does anyone know what the problem is and how we could fix it?

On Friday, January 17, 2020 at 10:56:02 AM UTC-5 i...@xxxxxxxxx wrote:

The pdf downloaded from leslie's homepage cannot:

- search text inside

- highlight with preview.app

-- 
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/2db7e226-3145-4eba-8bd1-dd26e965e71cn%40googlegroups.com.