[isabelle] Session-Graph too large?



Hi, 

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

! Dimension too large.
*** <argument> \ht \ at 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?


--
  Peter






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.