Started 8 days 6 hr ago
Took 1 hr 28 min on workermtahpc

Success Build #172 (Mar 14, 2019 4:21:15 PM)

Build Artifacts
Changes
  1. run opam before build (detail / hgweb)
  2. proper theory for type of dual ordered lattice in distribution (detail / hgweb)
  3. slightly more complete check of code generation for immutable arrays (detail / hgweb)
  4. CONTRIBUTORS (detail / hgweb)
  5. migrated from Nums to Zarith as library for OCaml integer arithmetic (detail / hgweb)
  6. dropped superfluous declaration attribute (detail / hgweb)
  7. more sanity checks; (detail / hgweb)
  8. updated to polyml-5.8 (official release); (detail / hgweb)
  9. URIs should normally be "rdf:resource", not string body; (detail / hgweb)
  10. clarified signature; (detail / hgweb)
  11. support for document meta data in PIDE and RDF; (detail / hgweb)
  12. tuned signature; (detail / hgweb)
  13. tuned signature; (detail / hgweb)
  14. tuned signature; (detail / hgweb)
  15. tuned signature; (detail / hgweb)
  16. more formal contributors (with the help of the history); (detail / hgweb)
  17. proper data columns for plots; (detail / hgweb)
  18. merged (detail / hgweb)
  19. tuned -- Toplevel.presentation_context is total; (detail / hgweb)
  20. document markers are formal comments, and may thus occur anywhere in the command-span;
    clarified Outer_Syntax.parse_span, Outer_Syntax.parse_text wrt. span structure;
    tuned signature; (detail / hgweb)
  21. PIDE markup for spell-checking; (detail / hgweb)
  22. markup and document markers for some meta data from "Dublin Core Metadata Element Set"; (detail / hgweb)
  23. tuned; (detail / hgweb)
  24. added semantic document markers;
    emulate old-style tags as "tag" markers, with subtle change of semantics for multiples tags (ever used?);
    tuned; (detail / hgweb)
  25. clarified signature; (detail / hgweb)
  26. added glyph for \<marker>; (detail / hgweb)
  27. tuned proof; (detail / hgweb)
  28. clarified Toplevel.state: more explicit types;
    presentation context is always present, with default to Pure.thy and fall-back to Pure bootstrap theory; (detail / hgweb)
  29. tuned; (detail / hgweb)
  30. merged (detail / hgweb)
  31. tidied up HOL/ex/Primrec (detail / hgweb)
  32. proper code_simp setup for literals (detail / hgweb)
  33. tuned -- more explicit type node_presentation; (detail / hgweb)
  34. tuned signature; (detail / hgweb)
  35. clarified modules;
    uniform "tag" parser; (detail / hgweb)
  36. renamed the constant "limit" as it is too "generic" (detail / hgweb)
  37. new material for Analysis (detail / hgweb)
  38. proper option (amending cc0b3e177b49); (detail / hgweb)
  39. removed junk; (detail / hgweb)
  40. updated to polyml-5.8-20190306; (detail / hgweb)
  41. afford redundant whitespace for improved readability; (detail / hgweb)
  42. tuned signature; (detail / hgweb)
  43. recover original order; (detail / hgweb)
  44. tuned; (detail / hgweb)
  45. misc tuning and modernization; (detail / hgweb)
  46. merged (detail / hgweb)
  47. clarified signature; (detail / hgweb)
  48. clarified signature: more general types; (detail / hgweb)
  49. afford redundant whitespace for improved readability; (detail / hgweb)
  50. avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default (detail / hgweb)
  51. tuned signature; (detail / hgweb)
  52. clarified signature -- allow more re-use; (detail / hgweb)
  53. concrete predicates from "Dublin Core"; (detail / hgweb)
  54. clarified signature;
    suppress already loaded theories; (detail / hgweb)
  55. tuned signature; (detail / hgweb)
  56. tuned document; (detail / hgweb)
  57. system option "system_heaps" supersedes various command-line options for "system build mode";
    clarified "isabelle jedit" options -n, -s, -u; (detail / hgweb)
  58. more uniform session_system_mode (see also e57416b649d5); (detail / hgweb)
  59. more implicit reload, similar to VSCode; (detail / hgweb)
  60. clarified signature;
    more thorough end_pos; (detail / hgweb)
  61. tuned proofs -- eliminated odd case_tac; (detail / hgweb)
  62. more scalable on 32-bit Poly/ML; (detail / hgweb)
  63. tuned; (detail / hgweb)
  64. more line spacing, notably for ttfautohint (see 4791988fcbc4); (detail / hgweb)
  65. more compact representation: approx. factor 2; (detail / hgweb)
  66. more scalable on 32-bit Poly/ML; (detail / hgweb)
  67. clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump"); (detail / hgweb)
  68. tuned; (detail / hgweb)
  69. tuned; (detail / hgweb)
  70. clarified signature, notably for hol4isabelle (by Fabian Immler); (detail / hgweb)
  71. updated to jedit_build-20190224 (new patches: favorites, glyphvector); (detail / hgweb)
  72. fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11; (detail / hgweb)
  73. formal update of patches -- no change of content; (detail / hgweb)
  74. removed junk; (detail / hgweb)
  75. merged (detail / hgweb)
  76. bundles for floatarith notation (detail / hgweb)
  77. merged (detail / hgweb)
  78. tuned output; (detail / hgweb)
  79. more memory fields; (detail / hgweb)
  80. obsolete; (detail / hgweb)
  81. no more shadowing of Min and Max by Approximation (detail / hgweb)
  82. streamlined specification interfaces (detail / hgweb)
  83. sligthly more interpunctation and qualification (detail / hgweb)
  84. tuned whitespace (detail / hgweb)

Started by an SCM change

This run spent:

  • 8.8 sec waiting;
  • 1 hr 28 min build duration;
  • 1 hr 28 min total from scheduled to completion.
Revision: 6d768e0eeaafa58f154988f42ee08cb3aac07a45