src/Tools/jEdit/src/jedit_sessions.scala
Sat, 13 Aug 2022 12:32:38 +0200 wenzelm clarified signature: more explicit types;
Sat, 13 Aug 2022 11:53:45 +0200 wenzelm tuned, following 298707451ec2;
Fri, 12 Aug 2022 20:14:20 +0200 wenzelm clarified signature;
Fri, 12 Aug 2022 20:05:21 +0200 wenzelm tuned;
Fri, 12 Aug 2022 13:16:02 +0200 wenzelm clarified signature;
Thu, 04 Aug 2022 12:43:33 +0200 wenzelm clarified signature;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Fri, 04 Jun 2021 22:46:11 +0200 wenzelm clarified signature;
Thu, 04 Mar 2021 21:04:27 +0100 wenzelm clarified signature --- fewer warnings;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Mon, 01 Mar 2021 19:41:52 +0100 wenzelm tuned --- fewer warnings;
Sat, 27 Jun 2020 11:25:30 +0200 wenzelm clarified signature;
Tue, 26 May 2020 11:58:42 +0200 wenzelm clarified signature --- fit within limit of 22 arguments;
Tue, 07 Apr 2020 21:49:36 +0200 wenzelm clarified signature: more uniform treatment of stopped/interrupted state;
Sat, 28 Mar 2020 12:06:37 +0100 wenzelm clarified signature: more robust startup_join;
Fri, 27 Mar 2020 12:46:56 +0100 wenzelm clarified signature;
Fri, 27 Mar 2020 12:28:55 +0100 wenzelm clarified signature;
Fri, 27 Mar 2020 12:03:20 +0100 wenzelm clarified signature;
Thu, 12 Sep 2019 13:33:09 +0200 wenzelm find theory files via session structure: much faster Prover IDE startup;
Sat, 20 Jul 2019 11:17:54 +0200 wenzelm more robust: avoid folding of jEdit file-names wrt. JEDIT_SESSION_DIRS;
Wed, 10 Apr 2019 15:10:43 +0200 wenzelm clarified build of standard heaps;
Fri, 01 Mar 2019 21:29:59 +0100 wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
Fri, 01 Mar 2019 20:16:26 +0100 wenzelm more uniform session_system_mode (see also e57416b649d5);
Wed, 30 Jan 2019 15:25:19 +0100 wenzelm tuned signature;
Fri, 29 Jun 2018 16:45:54 +0200 wenzelm command-line option for include_sessions;
Mon, 04 Jun 2018 14:21:16 +0200 wenzelm clarified signature;
Fri, 18 May 2018 17:09:55 +0200 wenzelm support Store with options;
Thu, 17 May 2018 15:38:36 +0200 wenzelm clarified signature;
Tue, 13 Mar 2018 18:28:12 +0100 wenzelm tuned;
Tue, 07 Nov 2017 16:50:26 +0100 wenzelm tuned signature;
Tue, 07 Nov 2017 15:50:36 +0100 wenzelm tuned;
Tue, 07 Nov 2017 15:45:33 +0100 wenzelm tuned signature;
Thu, 02 Nov 2017 11:26:58 +0100 wenzelm tuned;
Thu, 02 Nov 2017 11:25:37 +0100 wenzelm support alternative ancestor session;
Thu, 02 Nov 2017 10:16:22 +0100 wenzelm support focus_session, for much faster startup of Isabelle/jEdit;
Wed, 01 Nov 2017 17:07:43 +0100 wenzelm tuned;
Wed, 01 Nov 2017 17:03:32 +0100 wenzelm logic_selector refers to raw logic name;
Wed, 01 Nov 2017 16:43:51 +0100 wenzelm tuned signature;
Wed, 01 Nov 2017 15:32:07 +0100 wenzelm added isabelle jedit options -B, -P, clarified -R;
Tue, 31 Oct 2017 18:56:24 +0100 wenzelm clarified signature;
Tue, 31 Oct 2017 17:56:28 +0100 wenzelm clarified signature;
Thu, 31 Aug 2017 17:31:56 +0200 wenzelm reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
Thu, 31 Aug 2017 16:35:09 +0200 wenzelm tolerate errors in session structure, although this may lead to confusion about theory imports later on;
Sun, 20 Aug 2017 20:05:36 +0200 wenzelm proper update of options (amending c3d6dd17d626);
Mon, 24 Apr 2017 11:23:07 +0200 wenzelm clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
Mon, 24 Apr 2017 11:05:24 +0200 wenzelm clarified modules;
Thu, 20 Apr 2017 10:30:30 +0200 wenzelm store Sessions.Info.name;
Fri, 07 Apr 2017 11:53:44 +0200 wenzelm tuned;
Fri, 07 Apr 2017 11:50:49 +0200 wenzelm support for static session imports, without affect build hierarchy;
Wed, 15 Mar 2017 14:29:55 +0100 wenzelm resources are part of early/strict initialization, but session_base is permissive to avoid crash of "isabelle jedit -l BAD";
Wed, 15 Mar 2017 12:41:22 +0100 wenzelm more explicit options;
Wed, 15 Mar 2017 11:04:46 +0100 wenzelm clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
Wed, 15 Mar 2017 10:43:54 +0100 wenzelm map values statically;
Wed, 15 Mar 2017 10:31:42 +0100 wenzelm clarified modules;
Tue, 14 Mar 2017 11:49:51 +0100 wenzelm tuned;
Mon, 13 Mar 2017 22:50:26 +0100 wenzelm tuned signature;
Mon, 13 Mar 2017 15:59:00 +0100 wenzelm tuned signature;
Mon, 16 Jan 2017 21:53:44 +0100 wenzelm tuned signature;
Mon, 09 Jan 2017 20:47:45 +0100 wenzelm clarified modules;
Sun, 01 Jan 2017 12:20:51 +0100 wenzelm tuned signature;
less more (0) -60 tip