--- a/src/Pure/System/platform.scala Mon Oct 24 12:01:36 2016 +0200 +++ b/src/Pure/System/platform.scala Mon Oct 24 12:16:12 2016 +0200 @@ -1,5 +1,4 @@ /* Title: Pure/System/platform.scala - Module: PIDE Author: Makarius Raw platform identification.