Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);
  2. tuned whitespace;
Changeset 79067:212c94edae2b by wenzelm:
more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);
The file was modified etc/options (diff)
The file was modified src/Doc/System/Server.thy (diff)
Changeset 79066:0da44db32646 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)