Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper accessible paths for web server;
  2. more informative message (amending b8a6b2ec85a2);
  3. merged
  4. more robust: do not affect "$ISABELLE_HOME_USER/contrib" on master node;
  5. avoid excessive ML heap on this 16GB node;
  6. more robust (amending c9774306a879);
  7. proper ISABELLE_PLATFORM_FAMILY within Isabelle/Scala, in contrast to historic settings;
  8. clarified symbolic host name;
  9. allow remote_build on this host (server-arm), without conflicts of this "isabelle_self";
  10. more robust message;
  11. A few more new theorems taken from AFP entries
Changeset 79554:e15fbb37a405 by wenzelm:
proper accessible paths for web server;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79553:2ff1c4b92e24 by wenzelm:
more informative message (amending b8a6b2ec85a2);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79552:f1c754e60ea0 by wenzelm:
merged
Changeset 79551:333cef4a811e by wenzelm:
more robust: do not affect "$ISABELLE_HOME_USER/contrib" on master node;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79550:4d88229fb1e4 by wenzelm:
avoid excessive ML heap on this 16GB node;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79549:501af322319c by wenzelm:
more robust (amending c9774306a879);
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 79548:a33a6e541cbb by wenzelm:
proper ISABELLE_PLATFORM_FAMILY within Isabelle/Scala, in contrast to historic settings;
The file was modified src/Pure/System/isabelle_platform.scala (diff)
Changeset 79547:bcd5136c7f5c by wenzelm:
clarified symbolic host name;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79546:c9774306a879 by wenzelm:
allow remote_build on this host (server-arm), without conflicts of this "isabelle_self";
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79545:b8a6b2ec85a2 by wenzelm:
more robust message;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79544:50ee2921da94 by paulson _lp15@cam.ac.uk_:
A few more new theorems taken from AFP entries
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Computational_Algebra/Primes.thy (diff)
The file was modified src/HOL/GCD.thy (diff)