Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
Tue, 13 Mar 2018 17:13:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 13 Nov 2017 14:39:03 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 27 Apr 2017 15:56:55 +0200 |
wenzelm |
clarified treatment of default port;
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 17:50:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 17:44:37 +0200 |
wenzelm |
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 21:37:19 +0200 |
wenzelm |
clarified signature: more static types;
|
file |
diff |
annotate
|
Thu, 13 Oct 2016 11:43:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 12 Oct 2016 10:22:34 +0200 |
wenzelm |
explicit indication of Admin tools;
|
file |
diff |
annotate
| base
|