Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 10 mo ago
Took 14 hr
Success

Build #59 (Jul 4, 2021, 12:14:00 AM)

Changes
  1. merged (detail)
  2. arg for the nonstandard complex numbers (detail)
  3. merged (detail)
  4. converting arg to Arg (detail)
  5. just a bit of tidying up (detail)
  6. create jar in pure Java; (detail)
  7. tuned signature; (detail)
  8. clarified order; (detail)
  9. proper treatment of leading zero; (detail)
  10. support for jar resources; (detail)
  11. tuned whitespace; (detail)
  12. tuned signature; (detail)
  13. tuned; (detail)
  14. support for Isabelle/Scala in pure Java; (detail)
  15. tuned signature; (detail)
  16. clarified directories; (detail)
  17. clarified modules and signatures; (detail)
  18. back to scala-2.13.5: avoid problems with history in scala REPL; (detail)
  19. tuned imports; (detail)
  20. merged (detail)
  21. clarified Isabelle/Java/Scala project setup; (detail)
  22. support for Isabelle setup in pure Java; (detail)
  23. tuned: prefer Java interfaces; (detail)
  24. clarified package: towards stand-alone setup; (detail)
  25. tuned; (detail)
  26. more direct java.home, according to current jdk directory layout; (detail)
  27. tuned; (detail)
  28. clarified modules;
    avoid initial use of _settings during init; (detail)
  29. tuned: prefer Java interfaces; (detail)
  30. tuned: prefer Java interfaces; (detail)
  31. clarified signature: prefer Java interfaces; (detail)
  32. clarified signature; (detail)
  33. clarified signature; (detail)
  34. proper usage; (detail)
  35. clarified modules; (detail)
  36. tuned; (detail)
  37. clarified modules (again): services require full Isabelle/Scala environment; (detail)
  38. clarified modules; (detail)
  39. updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0; (detail)
  40. clarified environment (amending 9444489766a1); (detail)
  41. merged (detail)
  42. move code setup from Cardinality to separate theory (detail)
  43. A few useful lemmas about derivatives, colinearity and other topics (detail)
Changes
  1. arg -> Arg: the last holdout (detail)
  2. merged (detail)
  3. arg -> Arg (detail)
  4. Add entry public announcement logic (detail)
  5. merged (detail)
  6. adapt to changes in HOL-Library.Cardinality (detail)
  7. Added Approximation_Algorithm for Center_Selection (detail)

Started by timer

This run spent:

  • 0.11 sec waiting;
  • 14 hr build duration;
  • 14 hr total from scheduled to completion.
Revision: 5b5e015189a4c871dfda515753ced5f9c83e60c7
Revision: 510c4df209cf5c724c0e98bade41813a7dd7d937