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