Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified while-loops;
  3. updated to postgresql-42.4.0;
  4. updated to flatlaf-2.4;
  5. updated to pdfjs-2.14.305; prefer "legacy" distribution: more portable, notably for old Node.js/Electron of VSCodium;
  6. more robust: retain Classpath value;
  7. tuned;
  8. mor robust;
  9. clarified modules;
  10. clarified signature;
Changeset 75710:e174568d52d2 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
Changeset 75709:a068fb7346ef by wenzelm:
clarified while-loops;
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/sha1.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 75708:0caf8528b07b by wenzelm:
updated to postgresql-42.4.0;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 75707:de32bb75721d by wenzelm:
updated to flatlaf-2.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 75706:f719bbee1721 by wenzelm:
updated to pdfjs-2.14.305;<br>prefer &quot;legacy&quot; distribution: more portable, notably for old Node.js/Electron of VSCodium;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/build_pdfjs.scala (diff)
Changeset 75705:95879204cb21 by wenzelm:
more robust: retain Classpath value;
The file was modified src/Pure/System/scala.scala (diff)
Changeset 75704:1fac896c2b69 by wenzelm:
tuned;
The file was modified src/Pure/System/classpath.scala (diff)
Changeset 75703:8faeea36eb99 by wenzelm:
mor robust;
The file was modified src/Pure/System/classpath.scala (diff)
Changeset 75702:97e8f4c938bf by wenzelm:
clarified modules;
The file was addedsrc/Pure/System/classpath.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Tools/jEdit/jedit_main/scala_console.scala (diff)
Changeset 75701:84990c95712d by wenzelm:
clarified signature;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)