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
|