Skip to content
[Jenkins]Jenkins
log in
Started 6 yr 5 mo ago
Took 1 hr 14 min on workermta3
Success

#500 (Dec 15, 2017, 12:50:07 AM)

Build Artifacts
Changes
  1. minor performance tuning, notably for Library.fold_string etc.; (detail / hgweb)
  2. clarified file name; (detail / hgweb)
  3. purge log files -- avoid old errors; (detail / hgweb)
  4. expose bibtex errors; (detail / hgweb)
  5. proper exception; (detail / hgweb)
  6. proper \isakeeptag (amending 13b5c3ff1954); (detail / hgweb)
  7. tuned; (detail / hgweb)
  8. NEWS; (detail / hgweb)
  9. merged (detail / hgweb)
  10. purge more carefully (amending 26f548370e8d);
    recovered 'display_drafts'; (detail / hgweb)
  11. more error information according to @<Print type of token list@> in pdfweb.tex; (detail / hgweb)
  12. avoid redundant positions; (detail / hgweb)
  13. positions as postlude: avoid intrusion of odd %-forms into main tex source; (detail / hgweb)
  14. scan only one line, for more detailed positions; (detail / hgweb)
  15. purge more thoroughly; (detail / hgweb)
  16. option document_positions; (detail / hgweb)
  17. clarified file pattern; (detail / hgweb)
  18. ensure separation of TeX tokens; (detail / hgweb)
  19. simplified positions -- line is also human-readable in generated .tex file; (detail / hgweb)
  20. tuned message; (detail / hgweb)
  21. avoid excessive whitespace between antiquotations and text; (detail / hgweb)
  22. updated documentation; (detail / hgweb)
  23. more robust range on preceding comment-line;
    no range for blank lines;
    avoid recursive output_text/mark_range;
    clarified Latex.output_token (no range) vs. Thy_Output.present_token (with range); (detail / hgweb)
  24. proper file; (detail / hgweb)
  25. clarified file positions; (detail / hgweb)
  26. more operations; (detail / hgweb)
  27. tuned messages; (detail / hgweb)
  28. clean log file on Windows; (detail / hgweb)
  29. avoid println with its extra CR on Windows; (detail / hgweb)
  30. removed obsolete option (see 74a1b722507e); (detail / hgweb)
  31. re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here; (detail / hgweb)
  32. removed Emacs legacy; (detail / hgweb)
  33. more robust Windows support; (detail / hgweb)
  34. more explicit latex errors; (detail / hgweb)
  35. some support for LaTeX; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.6 sec waiting;
  • 1 hr 14 min build duration;
  • 1 hr 14 min total from scheduled to completion.
Revision: b8f30228a55b272cacb541f0472b1cfbbb70e12e