Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified state and process; support to load document session_background (which can take 1-2s in AFP);
  2. clarified signature;
  3. clarified signature;
  4. clarified signature;
  5. clarified signature;
  6. merged
  7. strengthened and renamed symp_symclp
Changeset 76681:8ad17c4669da by wenzelm:
clarified state and process;<br>support to load document session_background (which can take 1-2s in AFP);
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76680:e95b9c9e17ff by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/query_operation.scala (diff)
The file was modified src/Pure/Tools/debugger.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76679:fdaa17402af3 by wenzelm:
clarified signature;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76678:f34b923ff2c9 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document_editor.scala (diff)
The file was modified src/Pure/PIDE/editor.scala (diff)
Changeset 76677:899e83d90756 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76676:f572f5525e4b by desharna:
merged
Changeset 76675:0d7a9e4e1d61 by desharna:
strengthened and renamed symp_symclp
The file was modified NEWS (diff)
The file was modified src/HOL/Equiv_Relations.thy (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)