src/Pure/PIDE/headless.scala
4 months ago ago clarified signature;
4 months ago ago tuned;
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;
6 months ago ago proper session base foundations (amending e848328cb2c1);
6 months ago ago include loaded_files as doc_blobs (without purging);
6 months ago ago clarified signature, notably cascade of dump_options, deps, resources, session;
6 months ago ago clarified signature;
6 months ago ago clarified defaults via system options;
7 months ago ago clarified modules and signature;
8 months ago ago more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
10 months ago ago proper status after commit;
10 months ago ago clarified errors: no result from forced session.stop, check pending theories;
10 months ago ago tuned signature;
10 months ago ago clarified modules;