--- a/src/Pure/General/word.scala Sat Apr 26 13:07:20 2014 +0200 +++ b/src/Pure/General/word.scala Sat Apr 26 13:18:46 2014 +0200 @@ -1,5 +1,4 @@ /* Title: Pure/General/word.scala - Module: PIDE Author: Makarius Support for plain text words.