Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. some tinkering with npm versions;
  2. some tinkering with npm versions;
  3. back to post-release mode;
  4. tuned signature;
  5. auto-update due to "isabelle build_vscode";
  6. tuned;
  7. tuned --- following hints by IntelliJ IDEA;
  8. fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)
  9. simplified definition
Changeset 73544:79761915770c by wenzelm:
some tinkering with npm versions;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 73543:f8c6c45cb112 by wenzelm:
some tinkering with npm versions;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 73542:e4fde6b3e09a by wenzelm:
back to post-release mode;
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 73541:1240abf2e3f5 by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/lsp.scala (diff)
Changeset 73540:a69197959ab6 by wenzelm:
auto-update due to "isabelle build_vscode";
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 73539:f800f8becbfb by wenzelm:
tuned;
The file was modified src/Tools/VSCode/README.md (diff)
Changeset 73538:80db0d2759b5 by wenzelm:
tuned --- following hints by IntelliJ IDEA;
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
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 (diff)
The file was modified src/HOL/Decision_Procs/Approximation_Bounds.thy (diff)
The file was modified src/HOL/Library/Interval_Float.thy (diff)
Changeset 73536:5131c388a9b0 by haftmann:
simplified definition
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Measurable_On_Borel.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Measure_Space.thy (diff)
The file was modified src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy (diff)
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
The file was modified src/HOL/Library/Indicator_Function.thy (diff)
The file was modified src/HOL/Probability/Product_PMF.thy (diff)