Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated to scala-2.13: its ArraySeq implementation is not usable here (requires scala.relection.ClassTag);
  3. updated to scala-2.13.4;
  4. clarified;
  5. clarified return code: re-use SIGALRM for soft timeout;
  6. clarified signature: more operations;
  7. tuned;
  8. clarified signature: support more generic server implementations;
  9. tuned comments;
  10. proper </html>;
  11. tuned message;
Changeset 73138:11da341c2968 by wenzelm:
merged
Changeset 73137:ca450d902198 by wenzelm:
updated to scala-2.13: its ArraySeq implementation is not usable here (requires scala.relection.ClassTag);
The file was modified src/HOL/Imperative_HOL/Array.thy (diff)
The file was modified src/HOL/Imperative_HOL/Heap_Monad.thy (diff)
Changeset 73136:ca17e9ebfdf1 by wenzelm:
updated to scala-2.13.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/settings (diff)
The file was modified src/Pure/General/linear_set.scala (diff)
The file was modified src/Pure/General/multi_map.scala (diff)
The file was modified src/Pure/General/scan.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 73135:76bdfde8a579 by wenzelm:
clarified;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 73134:8a8ffe78eee7 by wenzelm:
clarified return code: re-use SIGALRM for soft timeout;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 73133:497e11537d48 by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/General/uuid.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 73132:479668d61cef by wenzelm:
tuned;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 73131:ff6b5e468d5f by wenzelm:
clarified signature: support more generic server implementations;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 73130:5f8f7746b4aa by wenzelm:
tuned comments;
The file was modified src/Pure/Thy/file_format.scala (diff)
Changeset 73129:ff9cd62d2d20 by wenzelm:
proper &lt;/html&gt;;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 73128:b15fe413b4d2 by wenzelm:
tuned message;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit_client (diff)