Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 5 mo ago
Took 1 hr 28 min on workermta1
Success

#1346 (Nov 30, 2020, 1:01:24 AM)

Build Artifacts
Changes
  1. more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F; (detail / hgweb)
  2. merged (detail / hgweb)
  3. Path.implode_symbolic as in ML; (detail / hgweb)
  4. proper source symbols in persistent data; (detail / hgweb)
  5. more completion; (detail / hgweb)
  6. tuned signature; (detail / hgweb)
  7. restrict report redirection to current node; (detail / hgweb)
  8. clarified parser; (detail / hgweb)
  9. tuned signature; (detail / hgweb)
  10. proper positions for inlined command messages, e.g. for completion within theory header; (detail / hgweb)
  11. tuned signature; (detail / hgweb)
  12. clarified modules; (detail / hgweb)
  13. tuned signature; (detail / hgweb)
  14. clarified checks (see f34f5c057c9e); (detail / hgweb)
  15. clarified signature; (detail / hgweb)
  16. tuned comments; (detail / hgweb)
  17. tuned; (detail / hgweb)
  18. typo (detail / hgweb)
  19. more on signed division (detail / hgweb)

Started by an SCM change

This run spent:

  • 11 min waiting;
  • 1 hr 28 min build duration;
  • 1 hr 39 min total from scheduled to completion.
Revision: 21ff9c1a464494b3a61c3538650664cc1b42c0cb