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

Re: [tlaplus] Hyperbook single PDF?

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Wed, 9 Mar 2016 10:09:45 +0100
References: <0678614a-3c16-40d3-aec5-38554888a11d@googlegroups.com>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0

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

Follow-Ups:
- Re: [tlaplus] Hyperbook single PDF?
  - From: Steve Glaser

References:
- Hyperbook single PDF?
  - From: dabd

Prev by Date: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
Next by Date: Re: [tlaplus] Hyperbook single PDF?
Previous by thread: Re: Hyperbook single PDF?
Next by thread: Re: [tlaplus] Hyperbook single PDF?
Index(es):
- Date
- Thread