src/Pure/PIDE/document_status.scala
10 months ago wenzelm 2018-09-03 proper polarity of terminated status;
10 months ago wenzelm 2018-09-02 tuned signature;
10 months ago wenzelm 2018-09-02 tuned -- more robust against changes;
10 months ago wenzelm 2018-09-02 do not expose obscure flags;
10 months ago wenzelm 2018-09-02 clarified quasi_consolidated state: ensure that exports are present for ok nodes;
10 months ago wenzelm 2018-09-02 clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
10 months ago wenzelm 2018-09-02 more detailed node_status;
10 months ago wenzelm 2018-09-01 clarified message;
10 months ago wenzelm 2018-09-01 more explicit status for "canceled" command within theory node;
11 months ago wenzelm 2018-08-18 optional notification of nodes_status (via progress); more accurate changed.nodes wrt. dep_theories; tuned signature;
11 months ago wenzelm 2018-08-18 tuned signature;
11 months ago wenzelm 2018-08-18 tuned signature;
11 months ago wenzelm 2018-08-18 tuned output;
11 months ago wenzelm 2018-08-18 clarified signature;
11 months ago wenzelm 2018-08-18 clarified signature;
11 months ago wenzelm 2018-08-18 trim nodes_status: avoid potential memory leak;
11 months ago wenzelm 2018-08-18 simplified (cf. dcd69422b953);
11 months ago wenzelm 2018-08-18 clarified modules;
11 months ago wenzelm 2018-08-18 clarified modules;