command-line option for include_sessions;

clarified signature;
simplified options;

support Store with options;

clarified signature;

tuned;

tuned signature;

tuned;

tuned signature;

tuned;

support alternative ancestor session;

support focus_session, for much faster startup of Isabelle/jEdit;
more options for "isabelle jedit";

tuned;

logic_selector refers to raw logic name;

tuned signature;

added isabelle jedit options -B, -P, clarified -R;
misc tuning and clarification;

clarified signature;

clarified signature;

reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;

tolerate errors in session structure, although this may lead to confusion about theory imports later on;

proper update of options (amending c3d6dd17d626);

clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;

clarified modules;

store Sessions.Info.name;

tuned;

support for static session imports, without affect build hierarchy;

resources are part of early/strict initialization, but session_base is permissive to avoid crash of "isabelle jedit -l BAD";
PIDE._plugin indicates intialization state of Plugin;
tuned;

more explicit options;
tuned signature;

clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";

map values statically;

clarified modules;

tuned;

tuned signature;

tuned signature;

tuned signature;

clarified modules;
tuned;

tuned signature;

added isabelle jedit -R;
errors in session_info/session_content are ignored and deferred to later checks of Build.build;

options for process policy, notably for multiprocessor machines;

tuned;

clarified modules;

--HG--
rename : src/Tools/jEdit/src/isabelle_logic.scala => src/Tools/jEdit/src/jedit_sessions.scala