Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. obsolete;
  2. clarified error;
  3. clarified defaults: explicit "rev" takes precedence;
  4. more explicit Components.Archive; support additional components, which also enforces clean bundling;
  5. proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);
  6. tuned message;
  7. more explicit Platform.Family;
  8. clarified doc sections: add-on components may focus their own application name;
  9. more robust, notably for macos /var vs. /private/var;
Changeset 69416:cc3a3eba99ae by wenzelm:
obsolete;
The file was removedAdmin/Windows/WinRun4J/Isabelle.ini
The file was removedAdmin/Windows/WinRun4J/README
The file was removedAdmin/Windows/WinRun4J/isabelle.ico
The file was removedAdmin/Windows/WinRun4J/isabelle_transparent.ico
The file was removedAdmin/Windows/WinRun4J/manifest.xml
Changeset 69415:99c3529c31d0 by wenzelm:
clarified error;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69414:eab0d3108b46 by wenzelm:
clarified defaults: explicit "rev" takes precedence;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69413:52727566c1ba by wenzelm:
more explicit Components.Archive;<br>support additional components, which also enforces clean bundling;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
Changeset 69412:f0b85c8aec46 by wenzelm:
proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);
The file was modified etc/settings (diff)
Changeset 69411:c84ff2f2d8a3 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69410:c071fcec4323 by wenzelm:
more explicit Platform.Family;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 69409:e7a5340128f0 by wenzelm:
clarified doc sections: add-on components may focus their own application name;
The file was modified doc/Contents (diff)
The file was modified src/Pure/Tools/doc.scala (diff)
Changeset 69408:fb26935838c7 by wenzelm:
more robust, notably for macos /var vs. /private/var;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)