[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



Here's a Python script that can take the current version of the PDF and add bookmarks, as well as fixing page numbers: https://github.com/ajdavis/specifying-systems-bookmarks-gen. I made a script so that if Leslie or anyone makes additional corrections to the source, we can re-run the script and (if the changes are small). I've attached a PDF based on Leslie's July 4 version, please let me know how it works for you all.

On Monday, July 5, 2021 at 5:02:13 PM UTC-4 je...@xxxxxxxxxxxxxxx wrote:
I think I’ve come up with an easier method for adding a clickable table of contents that’s visible in Preview etc., I’ll send an update soon. 

On Mon, Jul 5, 2021 at 2:58 PM A. Jesse Jiryu Davis <je...@xxxxxxxxxxxxxxx> wrote:
I just asked Jack Fox how he originally made the TOC for Specifying Systems, it sounds labor-intensive. He uses the "Foxit PDF reader" as you'd expect Jack Fox to do.

1) Highlight the text you want in the bookmark caption, right-click and select bookmark from the context menu.

2) Hit enter to finalize the bookmark

3) To subordinate one bookmark to another you have to cut it from the bookmarks and then "Paste under selected bookmark" from the context menu.


On Mon, Jul 5, 2021 at 8:24 AM A. Jesse Jiryu Davis <je...@xxxxxxxxxxxxxxx> wrote:
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 <tlapl...@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?

DB8C26DE-F907-49DD-BA62-0EF238A547C3.jpeg


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+u...@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2db7e226-3145-4eba-8bd1-dd26e965e71cn%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/994f74cb-7aeb-4f6b-8a2a-39d63e528336n%40googlegroups.com.

Attachment: book-21-07-04-with-bookmarks.pdf
Description: Adobe PDF document