Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS and CONTRIBUTORS;
  2. remove unused ci-extras component;
  3. use mail module in CI build;
  4. added mail module;
  5. build javamail component and add to main components;
  6. added component for javax mail;
Changeset 78832:c62003e05e46 by fabian huch _huch@in.tum.de_:
NEWS and CONTRIBUTORS;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 78831:f992769dea97 by fabian huch _huch@in.tum.de_:
remove unused ci-extras component;
The file was removedAdmin/jenkins/ci-extras/README
The file was removedAdmin/jenkins/ci-extras/etc/settings
The file was removedAdmin/jenkins/ci-extras/package
The file was removedAdmin/jenkins/ci-extras/pom.xml
Changeset 78830:348a5606baf3 by fabian huch _huch@in.tum.de_:
use mail module in CI build;
The file was modified etc/options (diff)
The file was modified src/Pure/Admin/ci_build.scala (diff)
Changeset 78829:58315c8a5cc4 by fabian huch _huch@in.tum.de_:
added mail module;
The file was addedsrc/Pure/General/mail.scala
The file was modified etc/build.props (diff)
Changeset 78828:032b6186fddc by fabian huch _huch@in.tum.de_:
build javamail component and add to main components;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 78827:06f0e720b913 by fabian huch _huch@in.tum.de_:
added component for javax mail;
The file was addedsrc/Pure/Admin/component_javamail.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)