Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified protocol: support "isabelle log" on failed theories as well;
  3. tuned comments;
  4. clarified signature;
  5. added "isabelle log": print messages from build database;
  6. clarified signature;
  7. clarified signature;
  8. tuned signature;
  9. clarified signature;
  10. clarified signature: name according to db model without Sessions.Structure/Deps;
  11. added lemmas
Changeset 72862:a7fa680d8277 by wenzelm:
merged
Changeset 72861:3f5e6da08687 by wenzelm:
clarified protocol: support "isabelle log" on failed theories as well;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 72860:64378eaf393d by wenzelm:
tuned comments;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 72859:2b8a328138a6 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72858:cb0c407fbc6e by wenzelm:
added "isabelle log": print messages from build database;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72857:a9e091ccd450 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72856:3a27e6f83ce1 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Pure/Tools/spell_checker.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 72855:e0f6fa6ff3d0 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72854:6c660f05f70c by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72853:d0038b553e0e by wenzelm:
clarified signature: name according to db model without Sessions.Structure/Deps;
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72852:7568a54aadcd by nipkow:
added lemmas
The file was modified src/HOL/List.thy (diff)