Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned messages: less verbosity;
  3. prefer Other_Isabelle.init instead of adhoc scripts;
  4. tuned message, following "isabelle components -a";
  5. clean components more accurately: purge other platforms or archives;
  6. more operations for SSH.System;
  7. clarified signature;
  8. tuned;
  9. manage other Isabelle distributions via SSH;
  10. more operations for SSH.System;
  11. recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning;
  12. clarified parameters (again);
  13. Some new material from the AFP
Changeset 77101:e04536f7c5ea by wenzelm:
merged
Changeset 77100:9f44559c00a9 by wenzelm:
tuned messages: less verbosity;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 77099:378bb7a739c3 by wenzelm:
prefer Other_Isabelle.init instead of adhoc scripts;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 77098:9d6118cdc0fd by wenzelm:
tuned message, following "isabelle components -a";
The file was modified src/Pure/System/components.scala (diff)
Changeset 77097:023273cf2651 by wenzelm:
clean components more accurately: purge other platforms or archives;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
Changeset 77096:940a6cb734fd by wenzelm:
more operations for SSH.System;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 77095:4c2aaf60c22c by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 77094:d44e2d1ca84f by wenzelm:
tuned;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 77093:c07d10ac688d by wenzelm:
manage other Isabelle distributions via SSH;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 77092:4d9f3d1e1749 by wenzelm:
more operations for SSH.System;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 77091:15e710116a16 by wenzelm:
recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 77090:d3437203c1df by wenzelm:
clarified parameters (again);
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
Changeset 77089:b4f892d0625d by paulson _lp15@cam.ac.uk_:
Some new material from the AFP
The file was addedsrc/HOL/Algebra/Left_Coset.thy
The file was modified src/HOL/Algebra/Algebra.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Library/Periodic_Fun.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)