[isabelle] Show more LaTeX log when there is an error



Hi,

maybe my LaTeX is chattier that other people’s LaTeX, but I get:

$ isabelle build -D .
Running Cantor ...

Cantor FAILED
(see also /home/jojo/.isabelle/Isabelle2014/heaps/polyml-5.5.2_x86-linux/log/Cantor)

*** See the LaTeX manual or LaTeX Companion for explanation.
*** Type  H <return>  for immediate help.
***  ...                                              
***                                                   
*** l.55 \end{document}
***                    
*** [2] (./root.aux) )
*** (see the transcript file for additional information)</usr/share/texlive/texmf-d
*** ist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fo
*** nts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/ty
*** pe1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
*** lic/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/ams
*** fonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
*** m/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti
*** 10.pfb>
*** Output written on root.pdf (2 pages, 83996 bytes).
*** Transcript written on root.log.
*** Document preparation failure in directory 'output/document'
*** 
*** Failed to build document "/home/jojo/uni/info/Vorträge/2014-11-28 Computer Tools/output/document.pdf"
Unfinished session(s): Cantor
0:00:10 elapsed time, 0:00:17 cpu time, factor 1.70

which is quite unhelpful: The relevant lines are cut of by just 4
lines! 


Maybe the build tool could be changed to show 10 or 20 lines more? Some
scrolling is definitely nicer than having to find the log file among
this outpu and copy’n’paste it.

And while we are at it: If the line mentioning the log file would be
printed _after_ the log excerpt it would be easier to spot.


Thanks!
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



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