Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned imports;
  2. always explore all sessions;
  3. optionally explore all sessions -- potentially slow, e.g. for AFP;
  4. proper sections;
  5. clarified session structure: avoid ambiguity of file ~~/src/HOL/Library/Old_Datatype.thy;
Changeset 65513:587433a18053 by wenzelm:
tuned imports;
The file was modified src/HOL/Analysis/Inner_Product.thy (diff)
The file was modified src/HOL/Library/Old_Datatype.thy (diff)
Changeset 65512:9fd620f2fa7d by wenzelm:
always explore all sessions;
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 65511:ea42dfd95ec8 by wenzelm:
optionally explore all sessions -- potentially slow, e.g. for AFP;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 65510:da387a5d4b09 by wenzelm:
proper sections;
The file was modified NEWS (diff)
Changeset 65509:ffedb16f382f by wenzelm:
clarified session structure: avoid ambiguity of file ~~/src/HOL/Library/Old_Datatype.thy;
The file was modified src/HOL/ROOT (diff)