src/Tools/jEdit/src/jedit_sessions.scala
19 months ago wenzelm 2017-11-02 support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
19 months ago wenzelm 2017-11-01 tuned;
19 months ago wenzelm 2017-11-01 logic_selector refers to raw logic name;
19 months ago wenzelm 2017-11-01 tuned signature;
19 months ago wenzelm 2017-11-01 added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
20 months ago wenzelm 2017-10-31 clarified signature;
20 months ago wenzelm 2017-10-31 clarified signature;
22 months ago wenzelm 2017-08-31 reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
22 months ago wenzelm 2017-08-31 tolerate errors in session structure, although this may lead to confusion about theory imports later on;
22 months ago wenzelm 2017-08-20 proper update of options (amending c3d6dd17d626);
2017-04-24 wenzelm 2017-04-24 clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
2017-04-24 wenzelm 2017-04-24 clarified modules;
2017-04-20 wenzelm 2017-04-20 store Sessions.Info.name;
2017-04-07 wenzelm 2017-04-07 tuned;
2017-04-07 wenzelm 2017-04-07 support for static session imports, without affect build hierarchy;
2017-03-15 wenzelm 2017-03-15 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;
2017-03-15 wenzelm 2017-03-15 more explicit options; tuned signature;
2017-03-15 wenzelm 2017-03-15 clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
2017-03-15 wenzelm 2017-03-15 map values statically;
2017-03-15 wenzelm 2017-03-15 clarified modules;
2017-03-14 wenzelm 2017-03-14 tuned;
2017-03-13 wenzelm 2017-03-13 tuned signature;
2017-03-13 wenzelm 2017-03-13 tuned signature;
2017-01-16 wenzelm 2017-01-16 tuned signature;
2017-01-09 wenzelm 2017-01-09 clarified modules; tuned;
2017-01-01 wenzelm 2017-01-01 tuned signature;
2016-12-18 wenzelm 2016-12-18 added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
2016-10-01 wenzelm 2016-10-01 options for process policy, notably for multiprocessor machines;
2016-04-14 wenzelm 2016-04-14 tuned;
2016-04-14 wenzelm 2016-04-14 clarified modules;