src/Pure/System/distribution.scala
Wed, 31 Mar 2021 17:15:54 +0200 wenzelm simplified release status (again), in contrast to a43898f76ae9;
Thu, 15 Mar 2018 11:49:29 +0100 wenzelm clarified message;
Mon, 04 Apr 2016 15:35:24 +0200 wenzelm clarified modules;
less more (0) tip