Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Avoid overaggresive splitting.
  2. more lemmas for distribution
  3. Avoid overaggresive simplification.
  4. merged
  5. setup VSCode from VSCodium distribution;
  6. more robust package_dir, to increase chances that it works with IntelliJ IDEA;
  7. NEWS
  8. Mirabelle now considers goals preceding "unfolding" and "using" commands
Changeset 75087:f3fcc7c5a0db by haftmann:
Avoid overaggresive splitting.
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Indicator_Function.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
Changeset 75086:4cc719621825 by haftmann:
more lemmas for distribution
The file was modified src/HOL/Bit_Operations.thy (diff)
Changeset 75085:ccc3a72210e6 by haftmann:
Avoid overaggresive simplification.
The file was modified NEWS (diff)
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/String.thy (diff)
Changeset 75084:f700ca53e3ae by wenzelm:
merged
Changeset 75083:35a5c4b16024 by wenzelm:
setup VSCode from VSCodium distribution;
The file was addedsrc/Tools/VSCode/etc/settings
The file was addedsrc/Tools/VSCode/src/vscode_setup.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 75082:ea4fa50dbb74 by wenzelm:
more robust package_dir, to increase chances that it works with IntelliJ IDEA;
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 75081:d76b150efdc2 by desharna:
NEWS
The file was modified NEWS (diff)
Changeset 75080:1dae5cbcd358 by desharna:
Mirabelle now considers goals preceding "unfolding" and "using" commands
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)