Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned;
  2. tuned signature;
  3. prefer Scala over bash function;
  4. tuned;
  5. clarified env;
  6. unused;
  7. more uniform signature for various process invocations; env refers to full environment, not the update;
  8. tuned;
Changeset 62616:b89d4b320464 by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 62615:8e5b631d203b by wenzelm:
tuned signature;
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Tools/check_sources.scala (diff)
Changeset 62614:0a01bc7f0946 by wenzelm:
prefer Scala over bash function;
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62613:7c723aa87871 by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 62612:cf48f41a9278 by wenzelm:
clarified env;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 62611:dc7cc407c911 by wenzelm:
unused;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 62610:4c89504c76fb by wenzelm:
more uniform signature for various process invocations;<br>env refers to full environment, not the update;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/cygwin.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62609:656e9412667c by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/active.scala (diff)