Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. fmap :: size
  3. avoid spurious output after exit;
  4. updated package version;
  5. proper state_panel exit;
  6. Some facts about orders of zeros
  7. Winding numbers for rectangular paths
Changeset 66399:8c12f51d67ab by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 66398:4d2ce596f505 by lars hupel _lars.hupel@mytum.de_:
fmap :: size
The file was modified src/HOL/Library/Finite_Map.thy (diff)
Changeset 66397:f55d2e2c2ca0 by wenzelm:
avoid spurious output after exit;
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
Changeset 66396:29717b0a1ab3 by wenzelm:
updated package version;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66395:14146fb264d8 by wenzelm:
proper state_panel exit;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
Changeset 66394:32084d7e6b59 by eberlm _eberlm@in.tum.de_:
Some facts about orders of zeros
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Factorial.thy (diff)
Changeset 66393:2a6371fb31f0 by eberlm _eberlm@in.tum.de_:
Winding numbers for rectangular paths
The file was modified src/HOL/Analysis/Winding_Numbers.thy (diff)