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;
  12. removed problematic simp rule
  13. merged
  14. tuned
  15. Merged
  16. added shuffle product to HOL/List
  17. tuned
  18. added chains of (in)equations
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)
Changeset 65354:4ff2ba82d668 by eberlm _eberlm@in.tum.de_:
removed problematic simp rule
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 65353:ac9391e04ef2 by nipkow:
merged
Changeset 65352:66b830967425 by nipkow:
tuned
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
Changeset 65351:65dd93a9f5b8 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 65350:b149abe619f7 by eberlm _eberlm@in.tum.de_:
added shuffle product to HOL/List
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/List.thy (diff)
Changeset 65349:6e47bcf7bec4 by nipkow:
tuned
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
Changeset 65348:b5ce7100ddc8 by nipkow:
added chains of (in)equations
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
The file was modified src/Doc/Prog_Prove/document/root.bib (diff)