Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
  2. more direct access to jEdit jar resources, without unzip;
Changeset 76553:120f79cdb492 by wenzelm:
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
The file was modified src/Pure/Admin/build_cygwin.scala
The file was modified src/Pure/Tools/build_docker.scala
Changeset 76552:13fde66c7cf6 by wenzelm:
more direct access to jEdit jar resources, without unzip;
The file was addedsrc/Tools/jEdit/src/jedit_jar.scala
The file was modified etc/build.props
The file was modified src/Pure/Tools/jedit.ML