Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Session-Graph too large?

view this post on Zulip Email Gateway (Aug 19 2022 at 12:10):

From: Peter Lammich <lammich@in.tum.de>
Hi,

when building the proof document for JinjaThreads, LaTex reports the
following error:

! Dimension too large.
*** <argument> \ht \@tempboxa

*** l.59 ...raphics[height=\textheight]{session_graph}

*** <session_graph.pdf, id=17, 3728.93124pt x 20540.74pt> <use
session_graph.pdf>

Is there a possibility to generate the session-graph with a lower
resolution, to avoid such errors?

Last updated: May 06 2024 at 12:29 UTC