Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. maintain Isabelle mailing list archives;
  2. support for Mailman list servers;
  3. clarified output of "isabelle process";
  4. unused;
Changeset 72559:274c9986e55b by wenzelm:
maintain Isabelle mailing list archives;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 72558:38ebf696fd0c by wenzelm:
support for Mailman list servers;
The file was addedsrc/Pure/General/mailman.scala
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72557:6345cce0e576 by wenzelm:
clarified output of "isabelle process";
The file was modified NEWS (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 72556:7abd365058e9 by wenzelm:
unused;
The file was modified src/Pure/System/process_result.scala (diff)