| Sun, 16 Oct 2016 17:10:24 +0200 | wenzelm | more robust; | changeset | files |
| Sun, 16 Oct 2016 16:58:09 +0200 | wenzelm | sftp.mkdirs according to 2a5dbad75355; | changeset | files |
| Sun, 16 Oct 2016 16:57:48 +0200 | wenzelm | more compression for big log files; | changeset | files |
| Sun, 16 Oct 2016 13:27:01 +0200 | wenzelm | clarified setup_repository: more uniform pull vs. clone, without update; | changeset | files |
| Sun, 16 Oct 2016 13:11:47 +0200 | wenzelm | proper setup of fresh repository; | changeset | files |
| Sun, 16 Oct 2016 13:47:37 +0200 | haftmann | clarified prover-specific rules | changeset | files |