Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust treatment of empty string;
  2. invoke Scala compiler from Java, without external process; tuned messages;
Changeset 73931:4a708e150908 by wenzelm:
more robust treatment of empty string;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
Changeset 73930:17c09d1b3588 by wenzelm:
invoke Scala compiler from Java, without external process;<br>tuned messages;
The file was modified Admin/lib/Tools/build_setup (diff)
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
The file was modified src/Tools/Setup/isabelle/setup/Environment.java (diff)