Sat, 22 Oct 2016 21:10:02 +0200 | wenzelm | remote_builds has PAR-SEQ semantics of old isatest-makedist; | changeset | files |
Sat, 22 Oct 2016 20:09:30 +0200 | wenzelm | expose results on failure (via mail); | changeset | files |
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); | changeset | files |