--- a/src/Pure/library.scala Tue Nov 29 20:18:02 2011 +0100 +++ b/src/Pure/library.scala Tue Nov 29 21:29:53 2011 +0100 @@ -1,5 +1,5 @@ /* Title: Pure/library.scala - Module: Library + Module: PIDE Author: Makarius Basic library.