Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. merged
  2. recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
  3. more compact command_timings, as in former batch-build;
  4. unused;
  5. unused --- superseded by PIDE messages;
  6. more thorough cleanup, e.g. before ML_Heap.save;
  7. discontinued old batch-build functionality;
Changeset 72109:ae683a461c40 by wenzelm:
merged
Changeset 72108:411b3dc036ca by wenzelm:
recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
The file was modified src/Pure/Tools/build.scala
Changeset 72107:1b06ed254943 by wenzelm:
more compact command_timings, as in former batch-build;
The file was modified src/Pure/PIDE/markup.scala
The file was modified src/Pure/Tools/build.scala
Changeset 72106:36743e0e2c4c by wenzelm:
unused;
The file was modified src/Pure/PIDE/markup.ML
Changeset 72105:a1fb4d28e609 by wenzelm:
unused --- superseded by PIDE messages;
The file was modified src/Pure/System/bash.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 72104:d9a42786fbc9 by wenzelm:
more thorough cleanup, e.g. before ML_Heap.save;
The file was modified src/Pure/System/isabelle_process.ML
Changeset 72103:7b318273a4aa by wenzelm:
discontinued old batch-build functionality;
The file was modified CONTRIBUTORS
The file was modified NEWS
The file was modified etc/options
The file was modified src/Doc/ROOT
The file was modified src/Doc/System/Scala.thy
The file was modified src/Pure/PIDE/markup.ML
The file was modified src/Pure/PIDE/protocol.ML
The file was modified src/Pure/PIDE/resources.ML
The file was modified src/Pure/System/scala.ML
The file was modified src/Pure/Thy/export.ML
The file was modified src/Pure/Tools/build.ML
The file was modified src/Pure/Tools/build.scala