Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. sketch for word-specific lsb and msb
  2. switch to Scala 3;
  3. minor performance tuning: avoid redundant BigInt construction;
Changeset 75655:be0865060346 by haftmann:
sketch for word-specific lsb and msb
The file was addedsrc/HOL/ex/Word_Lsb_Msb.thy
Changeset 75654:21164fd15e3d by wenzelm:
switch to Scala 3;
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified lib/Tools/scala (diff)
The file was modified lib/scripts/getsettings (diff)
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/System/scala_compiler.ML (diff)
The file was modified src/Pure/Tools/scala_build.scala (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
The file was modified src/Tools/Setup/src/Build.java (diff)
The file was modified src/Tools/jEdit/jedit_main/scala_console.scala (diff)
Changeset 75653:ea4f5b0ef497 by wenzelm:
minor performance tuning: avoid redundant BigInt construction;
The file was modified src/HOL/Imperative_HOL/Heap_Monad.thy (diff)