Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified signature;
  3. clarified signature (again): follow Isabelle/Java/Scala;
  4. tuned (following 69c6d3e87660);
  5. tuned --- avoid pointless indirection (see also a2df9de46060);
Changeset 78675:f0a4ad78c0f2 by wenzelm:
tuned;
The file was modified src/Pure/System/scala.ML (diff)
Changeset 78674:88f47c70187a by wenzelm:
clarified signature;
The file was modified src/Pure/Concurrent/par_exn.ML (diff)
The file was modified src/Pure/General/exn.ML (diff)
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/Tools/build_cluster.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 78673:90b12b919b5f by wenzelm:
clarified signature (again): follow Isabelle/Java/Scala;
The file was modified src/Pure/General/exn.ML (diff)
The file was modified src/Pure/System/command_line.ML (diff)
Changeset 78672:fcdfd3251892 by wenzelm:
tuned (following 69c6d3e87660);
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
The file was modified src/Pure/System/isabelle_system.ML (diff)
Changeset 78671:66e7a3131fe3 by wenzelm:
tuned --- avoid pointless indirection (see also a2df9de46060);
The file was modified src/Pure/General/exn.ML (diff)
The file was modified src/Pure/System/command_line.ML (diff)