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

Frabjous day, search works in the new copy (book-21-07-04.pdf)! So does PDF Expert’s underline feature. An entirely scientific random sample of pages indicates that the new version appears identical to the old one, except for the index, which is a little different in the new version (more compact?).

Now if we could marry the improvements you made in book-21-07-04.pdf with the table of contents version that would be even better. The TOC version not only allows me to navigate to chapters from the Preview.app sidebar, but it also properly supports "go to page": If I tell Preview to jump to page 45, I jump to the real page 45. In book-21-07-04.pdf, there's still no TOC in the Preview sidebar, and when I tell Preview to jump to page 45, I land on the real page 27. However, the TOC version is not searchable, and yours is.

On Sun, Jul 4, 2021 at 8:42 PM Leslie Lamport <tlaplus.ll@xxxxxxxxx> wrote:

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.