src/Pure/PIDE/document_status.scala
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;