Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
  2. updated to polyml-test-8fda4fd22441;
Changeset 69817:5f160df596c1 by wenzelm:
clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
The file was modified src/Pure/PIDE/document_status.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 69816:ce4842d2d150 by wenzelm:
updated to polyml-test-8fda4fd22441;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)