src/Pure/PIDE/document_status.scala
4 months ago ago clarified signature;
4 months ago ago clarified signature: more general types;
4 months ago ago clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");
5 months ago ago more robust: avoid potentially unrelated snapshot for the sake of is_suppressed;
5 months ago ago clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
8 months ago ago more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
10 months ago ago tuned signature;
10 months ago ago clarified Nodes_Status;
10 months ago ago more informative node_status;
10 months ago ago tuned signature;
10 months ago ago proper polarity of terminated status;
10 months ago ago tuned signature;
10 months ago ago tuned -- more robust against changes;
10 months ago ago do not expose obscure flags;
10 months ago ago clarified quasi_consolidated state: ensure that exports are present for ok nodes;
10 months ago ago clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
10 months ago ago more detailed node_status;
10 months ago ago clarified message;
10 months ago ago more explicit status for "canceled" command within theory node;
11 months ago ago optional notification of nodes_status (via progress);
11 months ago ago tuned signature;
11 months ago ago tuned signature;
11 months ago ago tuned output;
11 months ago ago clarified signature;
11 months ago ago clarified signature;
11 months ago ago trim nodes_status: avoid potential memory leak;
11 months ago ago simplified (cf. dcd69422b953);
11 months ago ago clarified modules;
11 months ago ago clarified modules;