Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";
  2. following recent Phabricator update, after 2021 Week 13 (Late March);
Changeset 73534:e7fb17bca374 by wenzelm:
discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";
The file was modified Admin/cronjob/README
The file was modified src/Doc/System/Misc.thy
The file was modified src/Doc/System/Phabricator.thy
The file was modified src/Pure/System/linux.scala
The file was modified src/Pure/Tools/phabricator.scala
Changeset 73533:543d5539306d by wenzelm:
following recent Phabricator update, after 2021 Week 13 (Late March);
The file was modified etc/options