Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. support to dump build database produced by PIDE session;
  3. more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
  4. clarified signature: Known.theories retains Document.Node.Entry (with header);
  5. clarified signature;
  6. tuned signature;
  7. merged
  8. tidying up a bit more
Changeset 68309:ce59ab0adfdd by wenzelm:
merged
Changeset 68308:119fc05f6b00 by wenzelm:
support to dump build database produced by PIDE session;
The file was addedsrc/Pure/Tools/dump.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 68307:812546f20c5c by wenzelm:
more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 68306:d575281e18d0 by wenzelm:
clarified signature: Known.theories retains Document.Node.Entry (with header);
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 68305:5321218147d3 by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68304:09270aa40884 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 68303:ce7855c7f5f4 by paulson:
merged
Changeset 68302:b6567edf3b3d by paulson _lp15@cam.ac.uk_:
tidying up a bit more
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)