Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. clarified signature;
Changeset 74068:62e4ec8cff38 by wenzelm:
clarified signature;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/System/command_line.scala (diff)
The file was modified src/Tools/Setup/src/Exn.java (diff)
The file was modified src/Tools/Setup/src/Setup.java (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
Changeset 74067:0b1462ce5fda by wenzelm:
clarified signature;
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Tools/Setup/src/Exn.java (diff)