Added tag Isabelle2022-RC0 for changeset b42e20adaeed

proper Java/Scala compiler classpath for standalone application (see also…

clarified message;

provide naproche-20220808 (inactive);

more robust data representation: notably for Store.read_session_timing with…

tuned message;

afford default cache policy, despite 6a29709906c6;

tuned signature;

clarified signature: more uniform treatment of cache for Export.read_session vs.

tuned signature;

tuned;

clarified signature;

clarified modules;

merged

tuned;

clarified message;

clarified signature: prefer Export.Session_Context over Sessions.

clarified signature: prefer Export.Context;

prefer Export.Context/Session_Context/Theory_Context over Sessions.

clarified signature: prefer Export.Session_Context;

clarified signature: find session_database within Session_Context.db_hierarchy;

discontinued Export.Provider in favour of Export.Context and its derivatives;

clarified signature;

tuned signature, following hints by IntelliJ IDEA;

clarified signature: more robust treatment of server;

tuned signature: more operations;

clarified signature: less redundant -- Sessions.Base_Info already specifies the…

misc tuning and clarification;

clarified database query: refer to semantic theories;

clarified signature: persistent theory_names in lexical order;

clarified signature: more operations;

clarified Document.Snapshot.all_exports: refer to material from this (virtual)…

proper session_databases for database_server: need to follow precise…

clarified signature: more robust close operation;

redundant;

more uniform exports: proper encoding of empty parents for Pure;

clarified session name: treat PIDE session as Sessions.DRAFT with imports from…

more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty…

clarified signature: more uniform treatment of empty exports;