Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified lines (again);
  2. clarified modules;
  3. more uniform Bash.process: always ask Isabelle/Scala;
  4. more reactive protocol messages, e.g. for Scala.function (relevant for Bash.process);
  5. clarified compiler options;
  6. tuned comments;
  7. removed obsolete RC tags;
  8. more hints;
  9. merged
  10. Added tag Isabelle2021 for changeset 7e2a9a8c2b85
  11. provide naproche-755224402e36;
  12. provide naproche-4ad61140062f;
Changeset 73265:76c9fcf80f96 by wenzelm:
clarified lines (again);
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/bash.scala (diff)
Changeset 73264:440546ea20e6 by wenzelm:
clarified modules;
The file was modified src/HOL/Tools/Nunchaku/nunchaku_tool.ML (diff)
The file was modified src/Pure/General/file.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/bash.ML (diff)
The file was modified src/Pure/System/isabelle_system.ML (diff)
The file was modified src/Pure/Tools/ghc.ML (diff)
The file was removedsrc/Pure/System/bash_syntax.ML
Changeset 73263:ad60214bef09 by wenzelm:
more uniform Bash.process: always ask Isabelle/Scala;
The file was modified src/Pure/ML/ml_system.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/bash.ML (diff)
The file was modified src/Pure/System/bash.scala (diff)
Changeset 73262:71b7a5775342 by wenzelm:
more reactive protocol messages, e.g. for Scala.function (relevant for Bash.process);
The file was modified src/Pure/System/message_channel.ML (diff)
Changeset 73261:f0446b3e4d17 by wenzelm:
clarified compiler options;
The file was modified etc/settings (diff)
The file was modified src/Pure/ROOT.scala (diff)
Changeset 73260:3edb1592cad6 by wenzelm:
tuned comments;
The file was modified etc/components (diff)
Changeset 73259:3acd62a22c1e by wenzelm:
removed obsolete RC tags;
The file was modified .hgtags (diff)
Changeset 73258:fdc76c10bb61 by wenzelm:
more hints;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 73257:446085672b74 by wenzelm:
merged
Changeset 73256:69177d552afb by wenzelm:
Added tag Isabelle2021 for changeset 7e2a9a8c2b85
The file was modified .hgtags (diff)
Changeset 73255:7e2a9a8c2b85 by wenzelm:
provide naproche-755224402e36;
The file was modified Admin/components/components.sha1 (diff)
Changeset 73254:13e206e93876 by wenzelm:
provide naproche-4ad61140062f;
The file was modified Admin/components/components.sha1 (diff)