Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to polyml-5.8.1-20200708: recent repository version for testing;
  2. more robust protocol for "Timing ..." messages, notably for pide_session=true;
Changeset 72003:a7e6ac2dfa58 by wenzelm:
updated to polyml-5.8.1-20200708: recent repository version for testing;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 72002:5c4800f6b25a by wenzelm:
more robust protocol for "Timing ..." messages, notably for pide_session=true;
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)