Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified pretty margin;
  3. more general hover_message (see also JEdit_Rendering.tooltip_message);
  4. clarified signature;
  5. decorations for background and foreground colors;
  6. tight protocol messages;
  7. tuned signature;
  8. symbolic Rendering.Color; clarified modules;
  9. tuned;
  10. Knaster-Tarski fixed point theorem and Galois Connections.
Changeset 65108:5a290f1819e5 by wenzelm:
merged
Changeset 65107:70b0113fa4ef by wenzelm:
clarified pretty margin;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/etc/options (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 65106:a57794dbe0af by wenzelm:
more general hover_message (see also JEdit_Rendering.tooltip_message);
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 65105:1f47b92021de by wenzelm:
clarified signature;
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 65104:66b19d05dcee by wenzelm:
decorations for background and foreground colors;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 65103:0bf1836ce4b1 by wenzelm:
tight protocol messages;
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
Changeset 65102:136b620b11af by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 65101:4263b2a201b3 by wenzelm:
symbolic Rendering.Color;<br>clarified modules;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/jEdit/etc/options (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
Changeset 65100:83d1f210a1d3 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 65099:30d0b2f1df76 by ballarin:
Knaster-Tarski fixed point theorem and Galois Connections.
The file was addedsrc/HOL/Algebra/Complete_Lattice.thy
The file was addedsrc/HOL/Algebra/Galois_Connection.thy
The file was addedsrc/HOL/Algebra/Order.thy
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/Algebra/Congruence.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/Lattice.thy (diff)
The file was modified src/HOL/ROOT (diff)