Just for the record: Makarius' reply resolved the issue for me (see also
below).
On 05/09/2018 11:57 PM, Makarius wrote:
> On 26/03/18 13:48, Christian Sternagel wrote:
>>
>> Thanks, I forgot about that option.
>>
>> With "isabelle latex" in the specified directory the error boils down to:
>>
>>
On 26/03/18 13:48, Christian Sternagel wrote:
>
> Thanks, I forgot about that option.
>
> With "isabelle latex" in the specified directory the error boils down to:
>
> ./root.tex:31: Package pdftex.def Error: File
> `isabelle-eps-converted-to.pdf' n
> ot found.
>
> See the pdftex.def package
Dear Makarius,
Thanks, I forgot about that option.
With "isabelle latex" in the specified directory the error boils down to:
./root.tex:31: Package pdftex.def Error: File
`isabelle-eps-converted-to.pdf' n
ot found.
See the pdftex.def package documentation for explanation.
Type H for
On 26/03/18 09:33, Christian Sternagel wrote:
>
> I don't see a significant difference in output between my original
>
> isabelle build_doc system
> *** Failed to build document in
> "/tmp/isabelle-griff/document_output1585848392449927242/system"
>
> and the suggested
>
> isabelle build
Dear Makarius,
I don't see a significant difference in output between my original
isabelle build_doc system
where I get
...
isabelle document -d
/tmp/isabelle-griff/document_output1585848392449927242/system -o pdf -n
system
*** Failed to build document in
On 23/03/18 10:29, Christian Sternagel wrote:
>
> Is there a way to get a more detailed report on why the last step,
> "isabelle document ...", failed?
>
> Btw: I also get (sometimes more specific) errors for building other
> documentation.
>
> Okay, turns out that I was missing the LaTeX
Dear Makarius,
I am on 67927:0b70405b3969 and
./bin/isabelle build_doc system
doesn't work for me. I get the error:
Build started for documentation "system"
Cleaning System ...
Running System ...
System FAILED
...
isabelle document -d
On 19/03/18 19:35, Makarius wrote:
> *** System ***
>
> * The command-line tools "isabelle server" and "isabelle client" provide
> access to the Isabelle Server: it supports responsive session management
> and concurrent use of theories, based on Isabelle/PIDE infrastructure.
> See also the
