Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more and updated documentation;
  2. more and updated documentation;
  3. discontinued rudiments of BSD support; tuned comments;
  4. tuned;
Changeset 66733:9180953b976b by wenzelm:
more and updated documentation;
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 66732:e566fb4d43d4 by wenzelm:
more and updated documentation;
The file was modified Admin/PLATFORMS (diff)
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 66731:fe2a6ec20b4d by wenzelm:
discontinued rudiments of BSD support;<br>tuned comments;
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 66730:e76850a09a12 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)