Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

some tinkering with npm versions;
some tinkering with npm versions;
back to post-release mode;
tuned signature;
auto-update due to "isabelle build_vscode";
tuned;
tuned --- following hints by IntelliJ IDEA;
fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)
simplified definition

Changeset 73544:79761915770c by wenzelm: some tinkering with npm versions;
The file was modified	`src/Tools/VSCode/extension/package.json`
Changeset 73543:f8c6c45cb112 by wenzelm: some tinkering with npm versions;
The file was modified	`src/Tools/VSCode/extension/package.json`
Changeset 73542:e4fde6b3e09a by wenzelm: back to post-release mode;
The file was modified	`src/Tools/VSCode/extension/README.md`
The file was modified	`src/Tools/VSCode/extension/package.json`
Changeset 73541:1240abf2e3f5 by wenzelm: tuned signature;
The file was modified	`src/Tools/VSCode/src/channel.scala`
The file was modified	`src/Tools/VSCode/src/lsp.scala`
Changeset 73540:a69197959ab6 by wenzelm: auto-update due to "isabelle build_vscode";
The file was modified	`src/Tools/VSCode/extension/package.json`
Changeset 73539:f800f8becbfb by wenzelm: tuned;
The file was modified	`src/Tools/VSCode/README.md`
Changeset 73538:80db0d2759b5 by wenzelm: tuned --- following hints by IntelliJ IDEA;
The file was modified	`src/Tools/VSCode/src/language_server.scala`
Changeset 73537:56db8559eadb by manuel eberl _eberlm@in.tum.de_: fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)
The file was modified	`src/HOL/Decision_Procs/Approximation.thy`
The file was modified	`src/HOL/Decision_Procs/Approximation_Bounds.thy`
The file was modified	`src/HOL/Library/Interval_Float.thy`
Changeset 73536:5131c388a9b0 by haftmann: simplified definition
The file was modified	`src/HOL/Analysis/Bochner_Integration.thy`
The file was modified	`src/HOL/Analysis/Borel_Space.thy`
The file was modified	`src/HOL/Analysis/Change_Of_Vars.thy`
The file was modified	`src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy`
The file was modified	`src/HOL/Analysis/Equivalence_Measurable_On_Borel.thy`
The file was modified	`src/HOL/Analysis/Henstock_Kurzweil_Integration.thy`
The file was modified	`src/HOL/Analysis/Measure_Space.thy`
The file was modified	`src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy`
The file was modified	`src/HOL/Analysis/Set_Integral.thy`
The file was modified	`src/HOL/Library/Indicator_Function.thy`
The file was modified	`src/HOL/Probability/Product_PMF.thy`

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

adapted to isabelle-dev/56db8559eadb
simplified definition

Changeset 11716:c81dd066bd29 by manuel eberl _eberlm@in.tum.de_: adapted to isabelle-dev/56db8559eadb
The file was modified	`thys/Taylor_Models/Taylor_Models.thy`
Changeset 11715:eb11506f9cf9 by haftmann: simplified definition
The file was modified	`thys/Deep_Learning/Lebesgue_Functional.thy`
The file was modified	`thys/Ergodic_Theory/Recurrence.thy`
The file was modified	`thys/Ergodic_Theory/SG_Library_Complement.thy`
The file was modified	`thys/Green/Green.thy`
The file was modified	`thys/MFMC_Countable/MFMC_Bounded.thy`
The file was modified	`thys/Prime_Number_Theorem/Prime_Number_Theorem_Library.thy`
The file was modified	`thys/Treaps/Random_List_Permutation.thy`
The file was modified	`thys/Zeta_3_Irrational/Zeta_3_Irrational.thy`
The file was modified	`thys/Zeta_Function/Zeta_Library.thy`