Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper argument type (amending 8d5cb4ea2b7c);
  2. tuned;
  3. updated for release;
  4. tuned;
  5. misc updates for release;
  6. tuned;
  7. tuned;
  8. misc tuning and updates for release;
  9. updated to sqlite-jdbc-3.20.0;
  10. updated to postgresql-42.1.4;
  11. avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
Changeset 66479:5c0a3f63057d by wenzelm:
proper argument type (amending 8d5cb4ea2b7c);
The file was modified src/Pure/General/http.scala (diff)
Changeset 66478:439296f00ab5 by wenzelm:
tuned;
The file was modified ANNOUNCE (diff)
Changeset 66477:7dccaa6d419a by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 66476:c9628d79109b by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src-base/Isabelle_Base.props (diff)
Changeset 66475:d8e0fd64216f by wenzelm:
misc updates for release;
The file was modified ANNOUNCE (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified COPYRIGHT (diff)
Changeset 66474:3ff851a8cb4b by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 66473:5928c6cc780f by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 66472:1b7d66d62035 by wenzelm:
misc tuning and updates for release;
The file was modified NEWS (diff)
Changeset 66471:80736667cc2e by wenzelm:
updated to sqlite-jdbc-3.20.0;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66470:33aa9abd71cb by wenzelm:
updated to postgresql-42.1.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66469:a6ec0172211a by wenzelm:
avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)