Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F;
  2. merged
  3. Path.implode_symbolic as in ML;
  4. proper source symbols in persistent data;
  5. more completion;
  6. tuned signature;
  7. restrict report redirection to current node;
  8. clarified parser;
  9. tuned signature;
  10. proper positions for inlined command messages, e.g. for completion within theory header;
  11. tuned signature;
  12. clarified modules;
  13. tuned signature;
  14. clarified checks (see f34f5c057c9e);
  15. clarified signature;
  16. tuned comments;
  17. tuned;
  18. typo
  19. more on signed division
Changeset 72786:21ff9c1a4644 by wenzelm:
more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 72785:8d6af6ab7d4d by wenzelm:
merged
Changeset 72784:ed75dde8061a by wenzelm:
Path.implode_symbolic as in ML;
The file was modified src/Pure/General/path.scala (diff)
Changeset 72783:fbee4d09a221 by wenzelm:
proper source symbols in persistent data;
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72782:98ecb951d911 by wenzelm:
more completion;
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 72781:15a8de807f21 by wenzelm:
tuned signature;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
Changeset 72780:6205c5d4fadf by wenzelm:
restrict report redirection to current node;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 72779:1cc74982d038 by wenzelm:
clarified parser;
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 72778:83e581c9a5f1 by wenzelm:
tuned signature;
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/thy_header.scala (diff)
Changeset 72777:164cb0806d0a by wenzelm:
proper positions for inlined command messages, e.g. for completion within theory header;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 72776:27a464537fb0 by wenzelm:
tuned signature;
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 72775:0a94eb91190d by wenzelm:
clarified modules;
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/thy_header.scala (diff)
Changeset 72774:51c0f79d6eed by wenzelm:
tuned signature;
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/thy_header.scala (diff)
Changeset 72773:93b50b9e3494 by wenzelm:
clarified checks (see f34f5c057c9e);
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 72772:a9ef39041114 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 72771:72976a6bd2ba by wenzelm:
tuned comments;
The file was modified src/Pure/PIDE/protocol_message.ML (diff)
Changeset 72770:0c86c29767b2 by wenzelm:
tuned;
The file was modified src/Pure/Tools/doc.scala (diff)
Changeset 72769:4dcd05a26795 by haftmann:
typo
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 72768:4ab04bafae35 by haftmann:
more on signed division
The file was modified src/HOL/Library/Signed_Division.thy (diff)