| 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
|