Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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
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
Changeset 72783:fbee4d09a221 by wenzelm:
proper source symbols in persistent data;
The file was modified src/Pure/Tools/build_job.scala
Changeset 72782:98ecb951d911 by wenzelm:
more completion;
The file was modified src/Pure/PIDE/markup.scala
The file was modified src/Pure/Thy/thy_header.scala
Changeset 72781:15a8de807f21 by wenzelm:
tuned signature;
The file was modified src/Pure/General/completion.scala
The file was modified src/Pure/PIDE/markup.scala
Changeset 72780:6205c5d4fadf by wenzelm:
restrict report redirection to current node;
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/document.scala
Changeset 72779:1cc74982d038 by wenzelm:
clarified parser;
The file was modified src/Pure/Thy/thy_header.scala
Changeset 72778:83e581c9a5f1 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/thy_header.scala
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
The file was modified src/Pure/Thy/thy_header.scala
Changeset 72776:27a464537fb0 by wenzelm:
tuned signature;
The file was modified src/Pure/General/path.scala
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/thy_header.scala
Changeset 72775:0a94eb91190d by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/thy_header.scala
Changeset 72774:51c0f79d6eed by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/thy_header.scala
Changeset 72773:93b50b9e3494 by wenzelm:
clarified checks (see f34f5c057c9e);
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/thy_header.scala
Changeset 72772:a9ef39041114 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/headless.scala
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Tools/VSCode/src/vscode_model.scala
The file was modified src/Tools/jEdit/src/document_model.scala
Changeset 72771:72976a6bd2ba by wenzelm:
tuned comments;
The file was modified src/Pure/PIDE/protocol_message.ML
Changeset 72770:0c86c29767b2 by wenzelm:
tuned;
The file was modified src/Pure/Tools/doc.scala
Changeset 72769:4dcd05a26795 by haftmann:
typo
The file was modified src/Doc/System/Sessions.thy
Changeset 72768:4ab04bafae35 by haftmann:
more on signed division
The file was modified src/HOL/Library/Signed_Division.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. tuned whitespace;
  2. sorted out lemmas
  3. adapted to Isabelle/5f9d66155081;
Changeset 11453:e06e6a6a8ac4 by wenzelm:
tuned whitespace;
The file was modified thys/Attack_Trees/ROOT
Changeset 11452:009fa5ffc3e6 by haftmann:
sorted out lemmas
The file was addedthys/Word_Lib/Many_More.thy
The file was modified thys/CakeML/Evaluate_Single.thy
The file was modified thys/Interval_Arithmetic_Word32/Interval_Word32.thy
The file was modified thys/Iptables_Semantics/Common/Word_Upto.thy
The file was modified thys/LLL_Basis_Reduction/LLL_Number_Bounds.thy
The file was modified thys/LOFT/LinuxRouter_OpenFlow_Translation.thy
The file was modified thys/LOFT/OpenFlow_Documentation.thy
The file was modified thys/Native_Word/Code_Target_Word_Base.thy
The file was modified thys/Word_Lib/Aligned.thy
The file was modified thys/Word_Lib/Bits_Int.thy
The file was modified thys/Word_Lib/Even_More_List.thy
The file was modified thys/Word_Lib/Guide.thy
The file was modified thys/Word_Lib/More_Arithmetic.thy
The file was modified thys/Word_Lib/More_Divides.thy
The file was modified thys/Word_Lib/More_Word.thy
The file was modified thys/Word_Lib/Most_significant_bit.thy
The file was modified thys/Word_Lib/Reversed_Bit_Lists.thy
The file was modified thys/Word_Lib/Signed_Division_Word.thy
The file was modified thys/Word_Lib/Signed_Words.thy
The file was modified thys/Word_Lib/Traditional_Infix_Syntax.thy
The file was modified thys/Word_Lib/Typedef_Morphisms.thy
The file was modified thys/Word_Lib/Word_Lemmas.thy
The file was modified thys/Word_Lib/Word_Lib_Sumo.thy
Changeset 11451:921126ac4dd1 by wenzelm:
adapted to Isabelle/5f9d66155081;
The file was modified thys/Isabelle_C/C11-FrontEnd/src/C_Command.thy
The file was modified thys/Isabelle_C/C11-FrontEnd/src/C_Lexer_Annotation.thy