Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message;
  2. more compact result;
  3. prepare patched version more thoroughly, with explicit patches;
  4. tuned signature;
Changeset 75232:6c4ec2a27ad6 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
Changeset 75231:8945d691ecf2 by wenzelm:
more compact result;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
Changeset 75230:bbbee54b1198 by wenzelm:
prepare patched version more thoroughly, with explicit patches;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75229:075467e070ba by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)