Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. removed prod_set_conv attribute from top_empty_eq and top_empty_eq2
  3. discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
  4. more direct access to jEdit jar resources, without unzip;
Changeset 76555:e28aed61a4b1 by desharna:
merged
Changeset 76554:a7d9e34c85e6 by desharna:
removed prod_set_conv attribute from top_empty_eq and top_empty_eq2
The file was modified src/HOL/Relation.thy (diff)
Changeset 76553:120f79cdb492 by wenzelm:
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
The file was modified src/Pure/Tools/build_docker.scala (diff)
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 (diff)
The file was modified src/Pure/Tools/jedit.ML (diff)