| Sat, 29 Apr 2017 21:04:03 +0200 |
wenzelm |
maintain build_log database;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2017 15:56:55 +0200 |
wenzelm |
clarified treatment of default port;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2017 12:04:23 +0100 |
wenzelm |
more tests;
|
file |
diff |
annotate
|
| Fri, 17 Feb 2017 20:01:17 +0100 |
wenzelm |
removed obsolete test -- coincides with mainline version;
|
file |
diff |
annotate
|
| Mon, 16 Jan 2017 21:53:44 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 10 Dec 2016 15:45:16 +0100 |
wenzelm |
updated Poly/ML repository test version (08-Dec-2016);
|
file |
diff |
annotate
|
| Sun, 04 Dec 2016 18:53:22 +0100 |
wenzelm |
back to isabelle-dev repository;
|
file |
diff |
annotate
|
| Sun, 13 Nov 2016 21:37:30 +0100 |
wenzelm |
more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2016 21:54:58 +0100 |
wenzelm |
clarified File.move: target directory like File.copy;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2016 12:14:03 +0100 |
wenzelm |
more logging, to see better when files written;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2016 10:41:41 +0100 |
wenzelm |
proper cleanup;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2016 10:35:34 +0100 |
wenzelm |
uniform order for options and args;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2016 22:23:36 +0100 |
wenzelm |
proper option for "build", not "build_history" (cf. 5ca4ac099e94);
|
file |
diff |
annotate
|
| Sun, 06 Nov 2016 22:51:40 +0100 |
wenzelm |
back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
|
file |
diff |
annotate
|
| Tue, 01 Nov 2016 15:00:27 +0100 |
wenzelm |
proper remote repository source;
|
file |
diff |
annotate
|
| Wed, 26 Oct 2016 16:15:37 +0200 |
wenzelm |
more informative error (see 6e9c22c494c5);
|
file |
diff |
annotate
|
| Wed, 26 Oct 2016 16:05:41 +0200 |
wenzelm |
tuned signature -- more friendly for experimentation;
|
file |
diff |
annotate
|
| Wed, 26 Oct 2016 14:52:41 +0200 |
wenzelm |
just one task to identify Isabelle + AFP repository snapshots and build release;
|
file |
diff |
annotate
|
| Tue, 25 Oct 2016 19:44:20 +0200 |
wenzelm |
use other remote_mac: macbroy30 is down;
|
file |
diff |
annotate
|
| Tue, 25 Oct 2016 14:06:43 +0200 |
wenzelm |
more informative error (stderr);
|
file |
diff |
annotate
|
| Sat, 22 Oct 2016 21:21:14 +0200 |
wenzelm |
more tasks;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2016 21:10:02 +0200 |
wenzelm |
remote_builds has PAR-SEQ semantics of old isatest-makedist;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2016 19:57:56 +0200 |
wenzelm |
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
|
file |
diff |
annotate
|
| Sat, 22 Oct 2016 17:27:27 +0200 |
wenzelm |
process results immediately;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2016 20:49:40 +0200 |
wenzelm |
clarified default args;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2016 11:45:35 +0200 |
wenzelm |
less ambitious test;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2016 23:42:12 +0200 |
wenzelm |
test for Windows/Cygwin;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 10:11:22 +0200 |
wenzelm |
avoid spamming log file;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 10:05:38 +0200 |
wenzelm |
shared_home is default for classic isatest home setup;
|
file |
diff |
annotate
|