| Tue, 01 Nov 2016 00:54:03 +0100 | wenzelm | build_release on lxbroy10 appears to work, including latex and remote_dmg; | changeset | files |
| Tue, 01 Nov 2016 00:44:24 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 31 Oct 2016 16:26:36 +0100 | kuncar | always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46) | changeset | files |
| Mon, 31 Oct 2016 15:48:27 +0100 | blanchet | moved contribution to right release | changeset | files |
| Mon, 31 Oct 2016 14:21:23 +0100 | wenzelm | more explicit pull; | changeset | files |
| Sun, 30 Oct 2016 13:15:14 +0100 | kuncar | types to sets: initial commit | changeset | files |