#
a7d38349 |
|
29-Jun-2018 |
Lars Hupel <lars.hupel@mytum.de> |
remove trailing commas
|
#
8606eacb |
|
09-Jun-2018 |
wenzelm <none@none> |
clarified signature: more uniform theory_message (see also d7920eb7de54);
|
#
5a119563 |
|
23-Mar-2018 |
wenzelm <none@none> |
added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;
|
#
cca8bd26 |
|
23-Mar-2018 |
wenzelm <none@none> |
field "kind" is always present, with default "writeln";
|
#
1ed97f99 |
|
22-Mar-2018 |
wenzelm <none@none> |
clarified signature;
|
#
722354b8 |
|
21-Mar-2018 |
wenzelm <none@none> |
proper order of matches: Server.Error is an instance of Exn.ERROR;
|
#
e964058c |
|
21-Mar-2018 |
wenzelm <none@none> |
clarified markup according to common Command.Results;
|
#
f90bf366 |
|
19-Mar-2018 |
wenzelm <none@none> |
documentation for the Isabelle server;
|
#
460f6635 |
|
19-Mar-2018 |
wenzelm <none@none> |
clarified message name: disallow single quote;
|
#
61aa3579 |
|
17-Mar-2018 |
wenzelm <none@none> |
clarified server shutdown: stop all sessions;
|
#
7fe6bafc |
|
17-Mar-2018 |
wenzelm <none@none> |
more explicit error messages; clarified signature;
|
#
0febd00a |
|
17-Mar-2018 |
wenzelm <none@none> |
clarified exception handling: include interrupts;
|
#
f59b9241 |
|
17-Mar-2018 |
wenzelm <none@none> |
tuned signature;
|
#
78683d71 |
|
16-Mar-2018 |
wenzelm <none@none> |
prefer typed UUID;
|
#
2809e7a5 |
|
16-Mar-2018 |
wenzelm <none@none> |
unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);
|
#
9e72faf0 |
|
16-Mar-2018 |
wenzelm <none@none> |
support for "use_theories";
|
#
05241b17 |
|
16-Mar-2018 |
wenzelm <none@none> |
clarified signature;
|
#
3615dd9d |
|
16-Mar-2018 |
wenzelm <none@none> |
proper options;
|
#
3404a87a |
|
16-Mar-2018 |
wenzelm <none@none> |
tuned options;
|
#
e5d1c645 |
|
15-Mar-2018 |
wenzelm <none@none> |
tuned message -- more readable JSON;
|
#
f620beb1 |
|
15-Mar-2018 |
wenzelm <none@none> |
store session: per Server/Context, not Connection; support for "session_stop";
|
#
48c6be6c |
|
15-Mar-2018 |
wenzelm <none@none> |
clarified server log; tuned options;
|
#
1ee8b3b9 |
|
15-Mar-2018 |
wenzelm <none@none> |
support for "session_start";
|
#
70907951 |
|
14-Mar-2018 |
wenzelm <none@none> |
clarified message;
|
#
34e0bc9d |
|
14-Mar-2018 |
wenzelm <none@none> |
asynchronous "session_build";
|
#
5511f9c2 |
|
14-Mar-2018 |
wenzelm <none@none> |
support for asynchronous tasks, with "cancel" command;
|
#
4fb5f854 |
|
14-Mar-2018 |
wenzelm <none@none> |
tuned signature;
|
#
515f2ac4 |
|
14-Mar-2018 |
wenzelm <none@none> |
more informative error with JSON result; tuned signature;
|
#
b5aee782 |
|
13-Mar-2018 |
wenzelm <none@none> |
tuned signature;
|
#
95ef73e0 |
|
13-Mar-2018 |
wenzelm <none@none> |
added server command "session_build": similar to JEdit_Resources.session_build;
|
#
1a5e2d3c |
|
12-Mar-2018 |
wenzelm <none@none> |
tuned signature; tuned output;
|
#
99ea1644 |
|
12-Mar-2018 |
wenzelm <none@none> |
explicit Server.Context with output channels (concurrent write); support for Logger and Progress;
|
#
73456d30 |
|
12-Mar-2018 |
wenzelm <none@none> |
allow "." in message name;
|
#
8ac3a731 |
|
12-Mar-2018 |
wenzelm <none@none> |
re-use existing in/out streams;
|
#
797cb5ce |
|
12-Mar-2018 |
wenzelm <none@none> |
tuned;
|
#
6a40616b |
|
12-Mar-2018 |
wenzelm <none@none> |
tuned signature;
|
#
34ceb9d6 |
|
12-Mar-2018 |
wenzelm <none@none> |
clarified signature -- do not expose socket;
|
#
1b87790f |
|
11-Mar-2018 |
wenzelm <none@none> |
more options;
|
#
3aa7a5d5 |
|
11-Mar-2018 |
wenzelm <none@none> |
clarified default server name;
|
#
0fc995e5 |
|
11-Mar-2018 |
wenzelm <none@none> |
more uniform output: this may be parsed by another program;
|
#
d0042b03 |
|
11-Mar-2018 |
wenzelm <none@none> |
clarified argument formats: explicit Unit, allow XML.Elem as well; tuned messages: prefer single quotes for JSON output;
|
#
9d0f2867 |
|
10-Mar-2018 |
wenzelm <none@none> |
tuned output;
|
#
f25eb1a1 |
|
10-Mar-2018 |
wenzelm <none@none> |
more options: client without implicit server startup;
|
#
51c3eccd |
|
10-Mar-2018 |
wenzelm <none@none> |
more flexible message formats;
|
#
a2bfd4b3 |
|
09-Mar-2018 |
wenzelm <none@none> |
clarified signature;
|
#
f27e7a85 |
|
09-Mar-2018 |
wenzelm <none@none> |
option for console interaction;
|
#
c59bff05 |
|
10-Mar-2018 |
wenzelm <none@none> |
more uniform Bytes.read_line/read_block operations;
|
#
fb0fc892 |
|
09-Mar-2018 |
wenzelm <none@none> |
added Reply.NOTE for asynchronous notifications;
|
#
7bb93563 |
|
09-Mar-2018 |
wenzelm <none@none> |
more operations;
|
#
ecbd38c6 |
|
09-Mar-2018 |
wenzelm <none@none> |
more thorough init: purge inactive entries;
|
#
bf966f88 |
|
09-Mar-2018 |
wenzelm <none@none> |
more generous timeout;
|
#
4a51647d |
|
09-Mar-2018 |
wenzelm <none@none> |
Entry.connection: proview password here; more robust checks;
|
#
f32b4ab3 |
|
09-Mar-2018 |
wenzelm <none@none> |
clarified initial protocol;
|
#
b3e16949 |
|
09-Mar-2018 |
wenzelm <none@none> |
ignore empty lines;
|
#
2fac4cb1 |
|
09-Mar-2018 |
wenzelm <none@none> |
tuned;
|
#
7245bad0 |
|
09-Mar-2018 |
wenzelm <none@none> |
more robust read_line after shutdown;
|
#
4cd18610 |
|
09-Mar-2018 |
wenzelm <none@none> |
more implicit wire protocol;
|
#
21c5c40c |
|
09-Mar-2018 |
wenzelm <none@none> |
tuned signature;
|
#
7770e4ee |
|
09-Mar-2018 |
wenzelm <none@none> |
clarified server start, notably for invocation within regular Isabelle/Scala process;
|
#
ce1e0bce |
|
08-Mar-2018 |
wenzelm <none@none> |
tuned signature;
|
#
9e47dcf9 |
|
08-Mar-2018 |
wenzelm <none@none> |
tuned signature;
|
#
4541910f |
|
08-Mar-2018 |
wenzelm <none@none> |
clarified toString operations;
|
#
bbb07c83 |
|
08-Mar-2018 |
wenzelm <none@none> |
clarified socket connection;
|
#
69d6f214 |
|
08-Mar-2018 |
wenzelm <none@none> |
server commands may access Server; Server.stop: proper shutdown; clarified signature;
|
#
257d8953 |
|
08-Mar-2018 |
wenzelm <none@none> |
tuned -- avoid regex matching on potentially large string; clarified message: command name could be malformed;
|
#
62dbe30f |
|
10-Dec-2017 |
wenzelm <none@none> |
avoid println with its extra CR on Windows;
|
#
54a8a804 |
|
27-Oct-2017 |
wenzelm <none@none> |
some concrete commands; clarified messages;
|
#
9417314e |
|
27-Oct-2017 |
wenzelm <none@none> |
more formal messages;
|
#
c707c5a1 |
|
26-Oct-2017 |
wenzelm <none@none> |
clarified command language;
|
#
b9449921 |
|
13-Oct-2017 |
wenzelm <none@none> |
tuned signature;
|
#
4c369723 |
|
06-Aug-2017 |
wenzelm <none@none> |
proper check for active server;
|
#
cf9e95dc |
|
06-Aug-2017 |
wenzelm <none@none> |
clarified signature;
|
#
63d733f5 |
|
06-Aug-2017 |
wenzelm <none@none> |
tuned signature;
|
#
8de8aea4 |
|
06-Aug-2017 |
wenzelm <none@none> |
handle server connections;
|
#
b6018d76 |
|
06-Aug-2017 |
wenzelm <none@none> |
clarified database names;
|
#
4404546e |
|
06-Aug-2017 |
wenzelm <none@none> |
more options; misc tuning and clarification;
|
#
57a9e89d |
|
05-Aug-2017 |
wenzelm <none@none> |
support for resident Isabelle servers;
|