#
41344522 |
|
29-Jun-2018 |
wenzelm <none@none> |
command-line option for include_sessions;
|
#
103d8f70 |
|
04-Jun-2018 |
wenzelm <none@none> |
clarified signature; simplified options;
|
#
f9859169 |
|
18-May-2018 |
wenzelm <none@none> |
support Store with options;
|
#
b23addf1 |
|
17-May-2018 |
wenzelm <none@none> |
clarified signature;
|
#
2e51d06e |
|
13-Mar-2018 |
wenzelm <none@none> |
tuned;
|
#
5f140233 |
|
07-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
#
7bdb2d94 |
|
07-Nov-2017 |
wenzelm <none@none> |
tuned;
|
#
14149422 |
|
07-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
#
dbde8e9d |
|
02-Nov-2017 |
wenzelm <none@none> |
tuned;
|
#
94f62ba1 |
|
02-Nov-2017 |
wenzelm <none@none> |
support alternative ancestor session;
|
#
90c41085 |
|
02-Nov-2017 |
wenzelm <none@none> |
support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
|
#
77b8ac71 |
|
01-Nov-2017 |
wenzelm <none@none> |
tuned;
|
#
36148db2 |
|
01-Nov-2017 |
wenzelm <none@none> |
logic_selector refers to raw logic name;
|
#
e1c51769 |
|
01-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
#
0ea0c300 |
|
01-Nov-2017 |
wenzelm <none@none> |
added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
|
#
fb0f7a90 |
|
31-Oct-2017 |
wenzelm <none@none> |
clarified signature;
|
#
2b4426ac |
|
31-Oct-2017 |
wenzelm <none@none> |
clarified signature;
|
#
c7532f08 |
|
31-Aug-2017 |
wenzelm <none@none> |
reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
|
#
ec7d5438 |
|
31-Aug-2017 |
wenzelm <none@none> |
tolerate errors in session structure, although this may lead to confusion about theory imports later on;
|
#
da3518ff |
|
20-Aug-2017 |
wenzelm <none@none> |
proper update of options (amending c3d6dd17d626);
|
#
4883758b |
|
24-Apr-2017 |
wenzelm <none@none> |
clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
|
#
c26ccec1 |
|
24-Apr-2017 |
wenzelm <none@none> |
clarified modules;
|
#
40eaab0e |
|
20-Apr-2017 |
wenzelm <none@none> |
store Sessions.Info.name;
|
#
8a4453ad |
|
07-Apr-2017 |
wenzelm <none@none> |
tuned;
|
#
dbc27065 |
|
07-Apr-2017 |
wenzelm <none@none> |
support for static session imports, without affect build hierarchy;
|
#
dc9cc6d2 |
|
15-Mar-2017 |
wenzelm <none@none> |
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;
|
#
b31d5968 |
|
14-Mar-2017 |
wenzelm <none@none> |
more explicit options; tuned signature;
|
#
c8381877 |
|
15-Mar-2017 |
wenzelm <none@none> |
clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
|
#
0c0362a3 |
|
15-Mar-2017 |
wenzelm <none@none> |
map values statically;
|
#
53287d01 |
|
15-Mar-2017 |
wenzelm <none@none> |
clarified modules;
|
#
cec474bf |
|
14-Mar-2017 |
wenzelm <none@none> |
tuned;
|
#
8600b00a |
|
13-Mar-2017 |
wenzelm <none@none> |
tuned signature;
|
#
570efc24 |
|
13-Mar-2017 |
wenzelm <none@none> |
tuned signature;
|
#
233462ba |
|
16-Jan-2017 |
wenzelm <none@none> |
tuned signature;
|
#
56a525bd |
|
09-Jan-2017 |
wenzelm <none@none> |
clarified modules; tuned;
|
#
c5b12fcf |
|
31-Dec-2016 |
wenzelm <none@none> |
tuned signature;
|
#
dceec4d7 |
|
18-Dec-2016 |
wenzelm <none@none> |
added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
|
#
6b7980ab |
|
01-Oct-2016 |
wenzelm <none@none> |
options for process policy, notably for multiprocessor machines;
|
#
6c42ac53 |
|
13-Apr-2016 |
wenzelm <none@none> |
tuned;
|
#
d98ef121 |
|
13-Apr-2016 |
wenzelm <none@none> |
clarified modules; --HG-- rename : src/Tools/jEdit/src/isabelle_logic.scala => src/Tools/jEdit/src/jedit_sessions.scala
|