isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 tip

more options: client without implicit server startup;
2018-03-10, by wenzelm
console interaction with line-editor;
2018-03-10, by wenzelm
more flexible message formats;
2018-03-10, by wenzelm
clarified interrupt handling;
2018-03-10, by wenzelm
clarified signature;
2018-03-10, by wenzelm
option for console interaction;
2018-03-10, by wenzelm
more uniform Bytes.read_line/read_block operations;
2018-03-10, by wenzelm
auto update;
2018-03-10, by wenzelm
more comments;
2018-03-10, by wenzelm
more general TTY loop;
2018-03-09, by wenzelm
added Reply.NOTE for asynchronous notifications;
2018-03-09, by wenzelm
more operations;
2018-03-09, by wenzelm
more thorough init: purge inactive entries;
2018-03-09, by wenzelm
more generous timeout;
2018-03-09, by wenzelm
Entry.connection: proview password here;
2018-03-09, by wenzelm
clarified initial protocol;
2018-03-09, by wenzelm
ignore empty lines;
2018-03-09, by wenzelm
tuned;
2018-03-09, by wenzelm
more robust read_line after shutdown;
2018-03-09, by wenzelm
more implicit wire protocol;
2018-03-09, by wenzelm
tuned signature;
2018-03-09, by wenzelm
clarified server start, notably for invocation within regular Isabelle/Scala process;
2018-03-09, by wenzelm
tuned signature;
2018-03-09, by wenzelm
tuned signature;
2018-03-09, by wenzelm
clarified toString operations;
2018-03-09, by wenzelm
clarified socket connection;
2018-03-09, by wenzelm
server commands may access Server;
2018-03-09, by wenzelm
tuned -- avoid regex matching on potentially large string;
2018-03-08, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 tip

isabelle