Mon, 07 Nov 2016 14:55:39 +0100 | blanchet | added Nunchaku component and tuned Nunchaku integration accordingly | changeset | files |
Sun, 06 Nov 2016 22:51:40 +0100 | wenzelm | back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel; | changeset | files |
Sun, 06 Nov 2016 19:18:24 +0100 | wenzelm | Added tag Isabelle2016-1-RC2 for changeset 2bf4fdcebd49 | changeset | files |