Hyperbook single PDF?

336 views
Skip to first unread message

dabd

unread,
Feb 22, 2016, 1:37:38 AM2/22/16
to tlaplus
Has anyone successfully created a single PDF file from the hyperbook?

Leslie Lamport

unread,
Feb 22, 2016, 9:27:11 PM2/22/16
to tlaplus
It is impossible to create a hypertext document using a single pdf file.  I do not see enough benefit to a single file to try to create some sort of approximation to hypertext from the Hyperbook.  The sources are available on the Web.  If anyone wants to devise a mechanism for producing such a version from the sources, I'll be happy to make that version part of the release.

Leslie  


On Sunday, February 21, 2016 at 10:37:38 PM UTC-8, dabd wrote:

Markus Alexander Kuppe

unread,
Mar 9, 2016, 4:10:07 AM3/9/16
to tla...@googlegroups.com
On 21.02.2016 20:20, dabd wrote:
> Has anyone successfully created a single PDF file from the hyperbook?

Hi dabd,

I just created a gist [1] of a bash script that generates a single page
pdf from the HyperBook tex sources [2]. Just extract the
hyper-tla-hyperbook.zip, copy runsingle.sh into the directory and run
it. The pdf is not perfect, but good enough for the moment.

Cheers
Markus

[1] https://gist.github.com/lemmy/bdd0e9bf6940d6d0af35
[2]
http://research.microsoft.com/en-us/um/people/lamport/tla/hyper-tla-hyperbook.zip

Steve Glaser

unread,
Mar 9, 2016, 3:13:39 PM3/9/16
to tla...@googlegroups.com
I mentioned the broken permissions to Leslie as they also have problems if you place the Hyperbook in a Dropbox share. He indicated they are obsolete files that should have been removed.

Steve Glaser


Reply all
Reply to author
Forward
0 new messages