| Sat, 15 Oct 2016 20:51:41 +0200 | wenzelm | added setup_repository; | changeset | files |
| Sat, 15 Oct 2016 20:47:31 +0200 | wenzelm | more operations; | changeset | files |
| Sat, 15 Oct 2016 19:08:32 +0200 | wenzelm | expand relatively to given environment, notably remote HOME; | changeset | files |
| Sat, 15 Oct 2016 16:35:50 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Oct 2016 16:35:18 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 15 Oct 2016 15:42:11 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Oct 2016 15:23:06 +0200 | wenzelm | clarified treatment of non-text bytes; | changeset | files |
| Sat, 15 Oct 2016 15:14:46 +0200 | wenzelm | remove invocation of build_history: results are reported via stdout; | changeset | files |
| Sat, 15 Oct 2016 14:15:29 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 15 Oct 2016 13:07:54 +0200 | wenzelm | identify release; | changeset | files |
| Sat, 15 Oct 2016 11:38:03 +0200 | wenzelm | prefer Isabelle standard Path; | changeset | files |
| Sat, 15 Oct 2016 11:26:31 +0200 | wenzelm | clarified logs; | changeset | files |
| Sat, 15 Oct 2016 11:18:46 +0200 | wenzelm | publish directly on webspace; | changeset | files |
| Sat, 15 Oct 2016 10:45:55 +0200 | Lars Hupel | Jenkins: don't build in system mode | changeset | files |