tuned, following hints by IntelliJ IDEA;

tuned;

clarified signature;

tuned, following hints by IntelliJ IDEA;

tuned, following hints by IntelliJ IDEA;

tuned signature;

tuned signature;

tuned signature, following hints by IntelliJ IDEA;

added support for cvc5 (whose interface is almost identical to CVC4)

removing the [simp] attribute breaks too many AFP entries severely

nlists is picked up automatically but conflicts with the RBT setup

new lemma

merged

New theory of fixed length lists

Further streamlining of quick-and-dirty evaluation.

more correct approximation (contributed by Achim Brucker)

Added tag Isabelle2022-RC0 for changeset b42e20adaeed

proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);

clarified message;

provide naproche-20220808 (inactive);

more robust data representation: notably for Store.read_session_timing with database_server;

tuned message;

afford default cache policy, despite 6a29709906c6;

tuned signature;

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

tuned;

tuned signature;

clarified signature;

clarified modules;

merged

tuned;

clarified message;

clarified signature: prefer Export.Session_Context over Sessions.Database_Context; discontinued obsolete operations;

clarified signature: prefer Export.Context;

clarified signature: find session_database within Session_Context.db_hierarchy;

clarified signature: prefer Export.Session_Context;

prefer Export.Context/Session_Context/Theory_Context over Sessions.Database_Context;

clarified signature;

tuned signature, following hints by IntelliJ IDEA;

clarified signature: more robust treatment of server;

discontinued Export.Provider in favour of Export.Context and its derivatives; uniform treatment of all sessions, including Pure;

clarified signature: less redundant -- Sessions.Base_Info already specifies the main session;

tuned signature: more operations;

misc tuning and clarification;

clarified Document.Snapshot.all_exports: refer to material from this (virtual) session; clarified treatment of Session_Context.theory_names, added export_names; clarified treatment of document_snapshot: sites on top of the session_stack;

clarified database query: refer to semantic theories;

clarified signature: more operations;

clarified signature: persistent theory_names in lexical order;

proper session_databases for database_server: need to follow precise session_hierarchy;

redundant;

clarified signature: more robust close operation;

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

clarified signature: more uniform treatment of empty exports;

clarified session name: treat PIDE session as Sessions.DRAFT with imports from other sessions;

more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty (required for Build_Job.print_log); removed unused imports_hierarchy;

clarified context for retrieval: more explicit types, with optional close() operation;

tuned;

unused;

retrieve information about used files;

tuned signature -- more robust;