Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned comments;
  2. misc updates and clarification;
  3. clarified file name;
Changeset 73647:a037f01aedab by wenzelm:
tuned comments;
The file was modified Admin/components/main
The file was modified Admin/components/optional
The file was modified Admin/components/windows
Changeset 73646:078ad17eb934 by wenzelm:
misc updates and clarification;
The file was modified Admin/components/PLATFORMS
Changeset 73645:dea7f6a2485e by wenzelm:
clarified file name;
The file was addedAdmin/components/PLATFORMS
The file was removedAdmin/PLATFORMS