1.1 --- a/src/Pure/library.scala Tue Nov 29 20:18:02 2011 +0100
1.2 +++ b/src/Pure/library.scala Tue Nov 29 21:29:53 2011 +0100
1.3 @@ -1,5 +1,5 @@
1.4 /* Title: Pure/library.scala
1.5 - Module: Library
1.6 + Module: PIDE
1.7 Author: Makarius
1.8
1.9 Basic library.