Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. use other remote_mac: macbroy30 is down;
  3. more robust printing of names in the context of outer syntax;
  4. more informative error (stderr);
Changeset 64400:3e2ddf2f82d8 by wenzelm:
merged
Changeset 64399:c46e26512e0f by wenzelm:
use other remote_mac: macbroy30 is down;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64398:5076725247fa by wenzelm:
more robust printing of names in the context of outer syntax;
The file was modified src/Pure/Isar/element.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 64397:6e9c22c494c5 by wenzelm:
more informative error (stderr);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)