Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. tuned NEWS;
  3. support for "all" platforms;
  4. clarified signature;
Changeset 80041:a0f93621c332 by wenzelm:
merged
Changeset 80040:30eb547bda4a by wenzelm:
tuned NEWS;
The file was modified NEWS
Changeset 80039:0732ee5c8ee1 by wenzelm:
support for "all" platforms;
The file was modified src/Pure/System/platform.scala
The file was modified src/Pure/Tools/dotnet_setup.scala
The file was modified src/Pure/Tools/go_setup.scala
Changeset 80038:b1e2246147eb by wenzelm:
clarified signature;
The file was modified src/Pure/System/platform.scala
The file was modified src/Pure/Tools/dotnet_setup.scala
The file was modified src/Pure/Tools/go_setup.scala