Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. tuned;
  2. more robust Markdown;
  3. misc tuning; more text;
  4. run "isabelle components_build -u";
  5. remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";
  6. tuned order;
  7. more Setup_Tool services;
  8. clarified signature;
  9. proper SSH operations;
  10. tuned signature: more permissive;
  11. clarified signature: explicit variable is easier to find in source;
  12. proper services for Setup_Tool --- avoid hardwired stuff;
Changeset 80032:98808cc7b0c1 by wenzelm:
tuned;
The file was modified Admin/components/README.md
Changeset 80031:ebd988ee1d57 by wenzelm:
more robust Markdown;
The file was modified Admin/components/README.md
Changeset 80030:5c00c04f09fb by wenzelm:
misc tuning;<br>more text;
The file was modified Admin/components/README.md
Changeset 80029:a2d15ad6877a by wenzelm:
run &quot;isabelle components_build -u&quot;;
The file was modified Admin/components/components.sha1
Changeset 80028:38bbc2ff3c24 by wenzelm:
remove obsolete component (see 8347ffa1f92c): superseded by &quot;isabelle go_setup&quot;;
The file was removedAdmin/components/go
Changeset 80027:64e57aafca1e by wenzelm:
tuned order;
The file was modified etc/build.props
Changeset 80026:a03a7d4b82f8 by wenzelm:
more Setup_Tool services;
The file was modified etc/build.props
The file was modified src/Pure/Tools/dotnet_setup.scala
The file was modified src/Pure/Tools/go_setup.scala
Changeset 80025:d1ac1bb01060 by wenzelm:
clarified signature;
The file was modified src/Pure/System/setup_tool.scala
Changeset 80024:27f2a6bd5616 by wenzelm:
proper SSH operations;
The file was modified src/Pure/System/setup_tool.scala
Changeset 80023:c43a51fde4f5 by wenzelm:
tuned signature: more permissive;
The file was modified src/Pure/System/other_isabelle.scala
Changeset 80022:77e605c66797 by wenzelm:
clarified signature: explicit variable is easier to find in source;
The file was modified src/Pure/System/setup_tool.scala
Changeset 80021:ba06861e91f9 by wenzelm:
proper services for Setup_Tool --- avoid hardwired stuff;
The file was addedsrc/Pure/System/setup_tool.scala
The file was modified etc/build.props
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/System/other_isabelle.scala