Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. unused (see 29566b6810f7);
  2. proper argument --- amending 908d8be90533;
  3. tuned;
  4. tuned signature;
  5. tuned signature;
  6. tuned signature;
  7. tuned signature;
  8. clarified signature: more explicit types;
  9. tuned signature;
  10. tuned imports;
  11. tuned messages;
  12. minor updates on look-and-feel;
  13. update on platforms;
  14. updated "macOS" terminology: current Big Sur is already version 11;
  15. updated test machines;
  16. full PIDE reports in batch build: see how it impacts overall performance;
Changeset 72907:3883f536d84d by wenzelm:
unused (see 29566b6810f7);
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 72906:00399e5a6e50 by wenzelm:
proper argument --- amending 908d8be90533;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 72905:82570cae3cc2 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 72904:b44b2d2380f0 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 72903:8f586c241071 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 72902:3c09adb4b042 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 72901:16fd39c9e31f by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 72900:c9813630cca4 by wenzelm:
clarified signature: more explicit types;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (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 72899:8732315dfafa by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
Changeset 72898:4e4b4298f1e7 by wenzelm:
tuned imports;
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
Changeset 72897:86eff7a823f3 by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/build_doc.scala (diff)
Changeset 72896:4e63acc435bd by wenzelm:
minor updates on look-and-feel;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 72895:dc9f43a9ad23 by wenzelm:
update on platforms;
The file was modified Admin/PLATFORMS (diff)
Changeset 72894:bd2269b6cd99 by wenzelm:
updated "macOS" terminology: current Big Sur is already version 11;
The file was modified Admin/MacOS/README (diff)
The file was modified Admin/PLATFORMS (diff)
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified lib/scripts/getsettings (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 72893:fbdadf5760c2 by wenzelm:
updated test machines;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 72892:d15c0c7ae092 by wenzelm:
full PIDE reports in batch build: see how it impacts overall performance;
The file was modified etc/options (diff)