| 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 |