Changes

Summary

1. removed junk;
2. some updates to README.md;
3. clarified default settings;
4. tuned whitespace;
5. support Isabelle fonts via patch of vscode resources;
6. proper Presentation.Entity_Context for hyperlinks (amending da1108a6d249);
7. clarified symbolic path;
8. clarified extension name (again);
9. removed obsolete material;
10. update scripts, based on recent "yo code" template;
11. clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.);
12. clarified signature;
13. clarified extension name;
14. clarified signature;
15. clarified signature;
16. clarified options;
17. support local .vsix installation; discontinued publishing to VSCode Marketplace, which will become obsolete eventually;
18. formal record of generated package-lock.json;
19. pro-forma update of version, for ongoing development;
20. updated notes on Isabelle/VSCode development;
21. proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;
22. simp rules for negative numerals
23. updated vscode extension: proper recoding;
24. tuned vscode extension;
25. tuned vscode extension: split isabelle fsp into workspace and mapping;
26. update VSCode plugin dependencies;
27. added Isabelle output panel to VSCode extension;
28. Simplified a couple of extremely long and ugly apply-proofs
29. merged
30. some updates to README.md;
31. refer to Isabelle settings via environment, which is provided via "isabelle vscode"; clarified error handling;
32. more operations;
33. more robust startup wrt. VSCode workspace (by Fabian Huch);
34. various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
35. have Sledgehammer honor 'smt_nat_as_int' option
36. more handling of Zipperposition definitions in Isar proof construction
37. handle Zipperposition definitions in Isar proof construction
38. parse Zipperposition definitions
39. clarified URL;
40. clarified pdf path;
41. HTTP view of Isabelle PDF documentation;
42. clarified signature;
43. more robust;
44. tuned message;
45. clarified signature: more explicit section structure;
46. clarified signature;
47. clarified signature;
48. tuned signature;
49. tuned;
50. clarified URL (again);
51. more robust toplevel url: allow extra "/";
52. clarified signature;
53. clarified signature; clarified URLs;
54. clarified signature;
55. support for PDF.js: platform-independent PDF viewer;
56. more robust mime_type;
57. merged
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;
59. one new lemma
60. clarified options;
61. clarified options;
62. clarified directory;
63. tuned whitespace;
64. prefer strict equality, without implicit type conversion;
65. tuned;
66. auto-update by VSCode;
67. more activationEvents, as proposed by Denis Paluca;
68. tuned message;
69. NEWS;
70. run Isabelle/VSCode using local VSCodium installation;
71. provide macos_exe, based on bin/codium from linux;
72. clarified options;
73. Avoid overaggresive splitting.
74. more lemmas for distribution
75. Avoid overaggresive simplification.
76. merged
77. setup VSCode from VSCodium distribution;
78. more robust package_dir, to increase chances that it works with IntelliJ IDEA;
79. NEWS
80. Mirabelle now considers goals preceding "unfolding" and "using" commands

Summary

1. Deleted nearly 200 lines of unused material
2. A new theorem
3. Clarified code module names.
4. removed ancient numeral representation
5. restore state of VYDRA_MDL to b8c3f69745a4
6. merge from afp-2021-1
7. metadata for Universal_Hash_Families
8. new entry Universal_Hash_Families
9. New entry Wetzel's Problem
10. metadata for Eval_FO
11. new entry Eval_FO
12. metadata for VYDRA_MDL
13. new entry VYDRA_MDL
14. Backed out changeset c9f94b0ae10e
15. Backed out changeset b8c3f69745a4
16. metadata update for VYDRA_MDL
17. New entry: VYDRA_MDL
18. fixed failing proofs
19. New definition of the Aleph operator so that it's defined for all arguments, not just ordinals
20. ALEXANDRIA acknowledgements
21. merged
22. New set theory lemmas about cardinality (mainly)
23. Another attempt for a consolidated terminology.
24. Avoid overaggresive splitting.
25. more lemmas for distribution
26. Avoid overaggresive simplification.
27. some new lemmas