Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. manage components similar to makedist_bundle (still inactive);
  2. distribution_classpath as in makedist_bundle;
  3. tuned spelling;
  4. clarified component settings;
  5. unused;
  6. obsolete (see 3ee6947bfb34);
  7. clarified signature: allow to add_files/get_files by other tools;
Changeset 69391:a3c776b9d3dd by wenzelm:
manage components similar to makedist_bundle (still inactive);
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69390:46f484b1d6f2 by wenzelm:
distribution_classpath as in makedist_bundle;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69389:16f17828adb1 by wenzelm:
tuned spelling;
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 69388:fc58534bc475 by wenzelm:
clarified component settings;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 69387:ff9095c91e87 by wenzelm:
unused;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 69386:7bcad752857d by wenzelm:
obsolete (see 3ee6947bfb34);
The file was modified Admin/components/nonfree (diff)
Changeset 69385:be9f187dcd50 by wenzelm:
clarified signature: allow to add_files/get_files by other tools;
The file was modified src/Pure/Tools/generated_files.ML (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)