diff -r a497c5d4a523 -r cd41e3903fbf src/Pure/PIDE/text.scala --- a/src/Pure/PIDE/text.scala Tue Nov 29 20:18:02 2011 +0100 +++ b/src/Pure/PIDE/text.scala Tue Nov 29 21:29:53 2011 +0100 @@ -1,5 +1,5 @@ /* Title: Pure/PIDE/text.scala - Module: Library + Module: PIDE Author: Fabian Immler, TU Munich Author: Makarius