Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
  2. more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
  3. misc tuning for release;
  4. merged;
  5. NEWS for "isabelle go_setup";
  6. proper platform_path for Windows;
  7. misc tuning, following go_setup;
  8. dynamic setup of Go component, similar to Dotnet;
  9. tuned comments;
  10. clarified signature: more operations;
  11. clarified signature: explicit type Platform.Info with derived operations;
  12. less ambitious parallelism: avoid exhaustion of memory (64GB total);
  13. provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
  14. tuned;
  15. tuned messages;
  16. update to bash_process-20240326;
  17. build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload);
  18. clarified meaning of platform.props: update on default;
Changeset 80018:ac4412562c7b by wenzelm:
more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
The file was modified src/Pure/General/html.scala
Changeset 80017:fb96063456fd by wenzelm:
more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
The file was modified src/Pure/General/html.scala
The file was modified src/Pure/PIDE/markup.scala
Changeset 80016:339325fdb128 by wenzelm:
misc tuning for release;
The file was modified CONTRIBUTORS
The file was modified NEWS
Changeset 80015:6d01661a055b by wenzelm:
merged;
Changeset 80014:ce9b649ee2dd by wenzelm:
NEWS for "isabelle go_setup";
The file was modified NEWS
Changeset 80013:f1686f71dffc by wenzelm:
proper platform_path for Windows;
The file was modified lib/Tools/go
The file was modified lib/Tools/gofmt
Changeset 80012:07c83d3369c0 by wenzelm:
misc tuning, following go_setup;
The file was modified src/Pure/Tools/dotnet_setup.scala
Changeset 80011:b082476a8036 by wenzelm:
dynamic setup of Go component, similar to Dotnet;
The file was addedlib/Tools/go
The file was addedlib/Tools/gofmt
The file was addedsrc/Pure/Tools/go_setup.scala
The file was modified etc/build.props
The file was modified etc/settings
The file was modified src/Pure/System/components.scala
The file was modified src/Pure/System/isabelle_tool.scala
The file was removedsrc/Pure/Admin/component_go.scala
Changeset 80010:6964a23f595a by wenzelm:
tuned comments;
The file was modified lib/Tools/dotnet
The file was modified src/Pure/Tools/dotnet_setup.scala
Changeset 80009:ac10e32938df by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/System/isabelle_platform.scala
The file was modified src/Pure/Tools/dotnet_setup.scala
Changeset 80008:914c4a81027d by wenzelm:
clarified signature: explicit type Platform.Info with derived operations;
The file was modified src/Pure/Admin/component_go.scala
The file was modified src/Pure/System/platform.scala
The file was modified src/Pure/Tools/dotnet_setup.scala
Changeset 80007:a4d94dd5c210 by wenzelm:
less ambitious parallelism: avoid exhaustion of memory (64GB total);
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 80006:d89685d3d306 by wenzelm:
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
The file was modified etc/settings
The file was modified src/Pure/Tools/dotnet_setup.scala
Changeset 80005:34c20c8bbdc5 by wenzelm:
tuned;
The file was modified src/Pure/Tools/dotnet_setup.scala
Changeset 80004:31ebb6be32b0 by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/component_csdp.scala
The file was modified src/Pure/Admin/component_minisat.scala
The file was modified src/Pure/Admin/component_rsync.scala
The file was modified src/Pure/Admin/component_spass.scala
The file was modified src/Pure/Admin/component_vampire.scala
The file was modified src/Pure/Admin/component_verit.scala
The file was modified src/Pure/Admin/component_zipperposition.scala
Changeset 80003:7e52091795e8 by wenzelm:
update to bash_process-20240326;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
Changeset 80002:ee449ca91c3b by wenzelm:
build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload);
The file was addedsrc/Pure/Admin/component_bash_process.scala
The file was modified etc/build.props
The file was modified src/Pure/System/isabelle_tool.scala
The file was removedAdmin/bash_process/bash_process.c
The file was removedAdmin/bash_process/build
The file was removedAdmin/bash_process/etc/settings
Changeset 80001:98384596b54b by wenzelm:
clarified meaning of platform.props: update on default;
The file was modified src/Pure/System/components.scala