| Wed, 12 Oct 2016 21:53:30 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 12 Oct 2016 21:50:16 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 12 Oct 2016 21:35:36 +0200 | wenzelm | clarified task logging via log service; | changeset | files |
| Wed, 12 Oct 2016 19:03:35 +0200 | wenzelm | more explicit management of tasks; | changeset | files |
| Wed, 12 Oct 2016 15:51:20 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 12 Oct 2016 15:48:05 +0200 | wenzelm | added clone_repository; | changeset | files |
| Wed, 12 Oct 2016 15:23:54 +0200 | wenzelm | support remote repositories via ssh command execution; | changeset | files |
| Wed, 12 Oct 2016 15:04:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 12 Oct 2016 11:48:53 +0200 | wenzelm | modernized; | changeset | files |
| Wed, 12 Oct 2016 20:38:47 +0200 | haftmann | separate type class for arbitrary quotient and remainder partitions | changeset | files |
| Tue, 11 Oct 2016 16:44:13 +0200 | haftmann | stripped dependency on pragmatic type class semiring_div | changeset | files |
| Wed, 12 Oct 2016 11:31:08 +0200 | wenzelm | simplified: no internal state for Mercurial; | changeset | files |
| Wed, 12 Oct 2016 10:22:34 +0200 | wenzelm | explicit indication of Admin tools; | changeset | files |
| Wed, 12 Oct 2016 09:38:20 +0200 | wenzelm | clarified files; | changeset | files |