Tim Steinbach 4edcfa3eb7 gradle: 4.0.2 -> 4.1		2017-08-07 11:44:35 -04:00
..
applications
build-support
common-updater
data
desktops
development	gradle: 4.0.2 -> 4.1	2017-08-07 11:44:35 -04:00
games
misc
os-specific	linux: 4.13-rc3 -> 4.13-rc4	2017-08-07 11:40:01 -04:00
servers
shells
stdenv
test
tools
top-level	isabelle: use polyml 5.6	2017-08-07 17:21:08 +02:00