| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 20:16:26 +0100 |
wenzelm |
more uniform session_system_mode (see also e57416b649d5);
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 15:25:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2018 16:45:54 +0200 |
wenzelm |
command-line option for include_sessions;
|
file |
diff |
annotate
|
| Mon, 04 Jun 2018 14:21:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 17:09:55 +0200 |
wenzelm |
support Store with options;
|
file |
diff |
annotate
|
| Thu, 17 May 2018 15:38:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 18:28:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 15:50:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 15:45:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 02 Nov 2017 11:26:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 02 Nov 2017 11:25:37 +0100 |
wenzelm |
support alternative ancestor session;
|
file |
diff |
annotate
|
| Thu, 02 Nov 2017 10:16:22 +0100 |
wenzelm |
support focus_session, for much faster startup of Isabelle/jEdit;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 17:07:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 17:03:32 +0100 |
wenzelm |
logic_selector refers to raw logic name;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 16:43:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 15:32:07 +0100 |
wenzelm |
added isabelle jedit options -B, -P, clarified -R;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 18:56:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 17:56:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 31 Aug 2017 17:31:56 +0200 |
wenzelm |
reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Sun, 20 Aug 2017 20:05:36 +0200 |
wenzelm |
proper update of options (amending c3d6dd17d626);
|
file |
diff |
annotate
|
| Mon, 24 Apr 2017 11:23:07 +0200 |
wenzelm |
clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
|
file |
diff |
annotate
|
| Mon, 24 Apr 2017 11:05:24 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 20 Apr 2017 10:30:30 +0200 |
wenzelm |
store Sessions.Info.name;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 11:53:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 11:50:49 +0200 |
wenzelm |
support for static session imports, without affect build hierarchy;
|
file |
diff |
annotate
|
| 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";
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 12:41:22 +0100 |
wenzelm |
more explicit options;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 11:04:46 +0100 |
wenzelm |
clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 10:43:54 +0100 |
wenzelm |
map values statically;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 10:31:42 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 11:49:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 22:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 15:59:00 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 16 Jan 2017 21:53:44 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:47:45 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 01 Jan 2017 12:20:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 18 Dec 2016 21:58:13 +0100 |
wenzelm |
added isabelle jedit -R;
|
file |
diff |
annotate
|
| Sat, 01 Oct 2016 23:05:25 +0200 |
wenzelm |
options for process policy, notably for multiprocessor machines;
|
file |
diff |
annotate
|
| Thu, 14 Apr 2016 12:17:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 14 Apr 2016 12:08:38 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|