Skip to content
Started 2 yr 1 mo ago
Took 2 min 32 sec
Failed

Build #93 (Feb 27, 2022, 12:14:00 AM)

Changes
  1. removed junk; (detail)
  2. some updates to README.md; (detail)
  3. clarified default settings; (detail)
  4. tuned whitespace; (detail)
  5. support Isabelle fonts via patch of vscode resources; (detail)
  6. proper Presentation.Entity_Context for hyperlinks (amending da1108a6d249); (detail)
  7. clarified symbolic path; (detail)
  8. clarified extension name (again); (detail)
  9. removed obsolete material; (detail)
  10. update scripts, based on recent "yo code" template; (detail)
  11. clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.); (detail)
  12. clarified signature; (detail)
  13. clarified extension name; (detail)
  14. clarified signature; (detail)
  15. clarified signature; (detail)
  16. clarified options; (detail)
  17. support local .vsix installation;
    discontinued publishing to VSCode Marketplace, which will become obsolete eventually; (detail)
  18. formal record of generated package-lock.json; (detail)
  19. pro-forma update of version, for ongoing development; (detail)
  20. updated notes on Isabelle/VSCode development; (detail)
  21. proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode; (detail)
  22. simp rules for negative numerals (detail)
  23. updated vscode extension: proper recoding; (detail)
  24. tuned vscode extension; (detail)
  25. tuned vscode extension: split isabelle fsp into workspace and mapping; (detail)
  26. update VSCode plugin dependencies; (detail)
  27. added Isabelle output panel to VSCode extension; (detail)
  28. Simplified a couple of extremely long and ugly apply-proofs (detail)
  29. merged (detail)
  30. some updates to README.md; (detail)
  31. refer to Isabelle settings via environment, which is provided via "isabelle vscode";
    clarified error handling; (detail)
  32. more operations; (detail)
  33. more robust startup wrt. VSCode workspace (by Fabian Huch); (detail)
  34. various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); (detail)
  35. have Sledgehammer honor 'smt_nat_as_int' option (detail)
  36. more handling of Zipperposition definitions in Isar proof construction (detail)
  37. handle Zipperposition definitions in Isar proof construction (detail)
  38. parse Zipperposition definitions (detail)
  39. clarified URL; (detail)
  40. clarified pdf path; (detail)
  41. HTTP view of Isabelle PDF documentation; (detail)
  42. clarified signature; (detail)
  43. more robust; (detail)
  44. tuned message; (detail)
  45. clarified signature: more explicit section structure; (detail)
  46. clarified signature; (detail)
  47. clarified signature; (detail)
  48. tuned signature; (detail)
  49. tuned; (detail)
  50. clarified URL (again); (detail)
  51. more robust toplevel url: allow extra "/"; (detail)
  52. clarified signature; (detail)
  53. clarified signature;
    clarified URLs; (detail)
  54. clarified signature; (detail)
  55. support for PDF.js: platform-independent PDF viewer; (detail)
  56. more robust mime_type; (detail)
  57. merged (detail)
  58. improved support for Java Chromium Embedded Framework (JCEF): works on x86_64-linux and x86_64-windows with jdk-15 (not jdk-17), does not work on arm64 and darwin; (detail)
  59. one new lemma (detail)
  60. clarified options; (detail)
  61. clarified options; (detail)
  62. clarified directory; (detail)
  63. tuned whitespace; (detail)
  64. prefer strict equality, without implicit type conversion; (detail)
  65. tuned; (detail)
  66. auto-update by VSCode; (detail)
  67. more activationEvents, as proposed by Denis Paluca; (detail)
  68. tuned message; (detail)
  69. NEWS; (detail)
  70. run Isabelle/VSCode using local VSCodium installation; (detail)
  71. provide macos_exe, based on bin/codium from linux; (detail)
  72. clarified options; (detail)
  73. Avoid overaggresive splitting. (detail)
  74. more lemmas for distribution (detail)
  75. Avoid overaggresive simplification. (detail)
  76. merged (detail)
  77. setup VSCode from VSCodium distribution; (detail)
  78. more robust package_dir, to increase chances that it works with IntelliJ IDEA; (detail)
  79. NEWS (detail)
  80. Mirabelle now considers goals preceding "unfolding" and "using" commands (detail)
Changes
  1. Deleted nearly 200 lines of unused material (detail)
  2. A new theorem (detail)
  3. Clarified code module names. (detail)
  4. removed ancient numeral representation (detail)
  5. restore state of VYDRA_MDL to b8c3f69745a4 (detail)
  6. merge from afp-2021-1 (detail)
  7. metadata for Universal_Hash_Families (detail)
  8. new entry Universal_Hash_Families (detail)
  9. New entry Wetzel's Problem (detail)
  10. metadata for Eval_FO (detail)
  11. new entry Eval_FO (detail)
  12. metadata for VYDRA_MDL (detail)
  13. new entry VYDRA_MDL (detail)
  14. Backed out changeset c9f94b0ae10e (detail)
  15. Backed out changeset b8c3f69745a4 (detail)
  16. metadata update for VYDRA_MDL (detail)
  17. New entry: VYDRA_MDL (detail)
  18. fixed failing proofs (detail)
  19. New definition of the Aleph operator so that it's defined for all arguments,  not just ordinals (detail)
  20. ALEXANDRIA acknowledgements (detail)
  21. merged (detail)
  22. New set theory lemmas about cardinality (mainly) (detail)
  23. Another attempt for a consolidated terminology. (detail)
  24. Avoid overaggresive splitting. (detail)
  25. more lemmas for distribution (detail)
  26. Avoid overaggresive simplification. (detail)
  27. some new lemmas (detail)

Started by timer

This run spent:

  • 20 ms waiting;
  • 2 min 32 sec build duration;
  • 2 min 32 sec total from scheduled to completion.
Revision: 1994ee39e513fe91424dd62f413e88bf753fd38b
Revision: 700323b3c105d9861b0f330259869d5cf06096d7