Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated package;
  2. support text overview colors via decorations;
  3. tuned;
  4. clarified modules;
  5. clarified build.out progress;
  6. more persistent build.out;
  7. tuned;
Changeset 65914:9584653df458 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 65913:f330f538dae6 by wenzelm:
support text overview colors via decorations;
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 65912:f9c2770a9c56 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
Changeset 65911:f97d163479b9 by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)
The file was modified src/Tools/jEdit/src/text_overview.scala (diff)
Changeset 65910:5bc7e080b182 by wenzelm:
clarified build.out progress;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
Changeset 65909:4940682a2e1a by wenzelm:
more persistent build.out;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 65908:aefdb9e664c9 by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)