Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message;
  2. merged
  3. misc tuning and modernization;
  4. clarified imports;
  5. tuned signature;
  6. tuned;
  7. provide session qualifier via resources;
  8. proper qualifier (again, see df4cd6e1fdfa);
  9. simplified direct theory name (again, see also 570ba266f5b5, 2a7f9e79cb28);
  10. tuned;
  11. tuned signature;
Changeset 65365:d32e702d7ab8 by wenzelm:
tuned message;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 65364:db7c97cdcfe7 by wenzelm:
merged
Changeset 65363:5eb619751b14 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Word/Bit_Representation.thy (diff)
The file was modified src/HOL/Word/Bits.thy (diff)
The file was modified src/HOL/Word/Bits_Bit.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Bool_List_Representation.thy (diff)
The file was modified src/HOL/Word/Examples/WordExamples.thy (diff)
The file was modified src/HOL/Word/Misc_Numeric.thy (diff)
The file was modified src/HOL/Word/Misc_Typedef.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/Word/WordBitwise.thy (diff)
The file was modified src/HOL/Word/Word_Miscellaneous.thy (diff)
Changeset 65362:908a27a4b9c9 by wenzelm:
clarified imports;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 65361:ecefb68dc21d by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
Changeset 65360:3ff88fece1f6 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 65359:9ca34f0407a9 by wenzelm:
provide session qualifier via resources;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 65358:e345e9420109 by wenzelm:
proper qualifier (again, see df4cd6e1fdfa);
The file was modified src/Pure/General/long_name.ML (diff)
The file was modified src/Pure/General/long_name.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 65357:9a2c266f97c8 by wenzelm:
simplified direct theory name (again, see also 570ba266f5b5, 2a7f9e79cb28);
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 65356:b96cf915de75 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 65355:403eabd73c9a by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)