| Wed, 24 May 2017 11:39:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 09 May 2017 21:06:11 +0200 |
wenzelm |
more robust update of generated directory;
|
file |
diff |
annotate
|
| Thu, 04 May 2017 14:58:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 17:08:18 +0100 |
wenzelm |
more robust: tmp files might get deleted concurrently in ML vs. Scala process;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 15:56:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 16:15:08 +0100 |
wenzelm |
insist in proper GNU tar, to avoid subtle semantic differences;
|
file |
diff |
annotate
|
| Thu, 22 Dec 2016 11:38:16 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 01 Nov 2016 19:43:13 +0100 |
wenzelm |
prefer standard_path for bash arg;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 19:08:32 +0200 |
wenzelm |
expand relatively to given environment, notably remote HOME;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 11:38:03 +0200 |
wenzelm |
prefer Isabelle standard Path;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 20:53:10 +0200 |
wenzelm |
clarified file operations;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 15:17:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 15:23:54 +0200 |
wenzelm |
support remote repositories via ssh command execution;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 10:22:34 +0200 |
wenzelm |
explicit indication of Admin tools;
|
file |
diff |
annotate
|