# HG changeset patch
# User wenzelm
# Date 1322515099 -3600
# Node ID 546d78f0d81f2f1b5baa12309c8d685a12352633
# Parent  d83797ef0d2d4bf31ee4d0cf271c6a503cb3c8be
explicit indication of modules for independent Scala library;

diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/Concurrent/counter.scala
--- a/src/Pure/Concurrent/counter.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/Concurrent/counter.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/Concurrent/counter.scala
+    Module:     Library
     Author:     Makarius
 
 Synchronized counter for unique identifiers < 0.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/Concurrent/future.scala
--- a/src/Pure/Concurrent/future.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/Concurrent/future.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/Concurrent/future.scala
+    Module:     Library
     Author:     Makarius
 
 Future values.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/Concurrent/simple_thread.scala
--- a/src/Pure/Concurrent/simple_thread.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/Concurrent/simple_thread.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/Concurrent/simple_thread.scala
+    Module:     Library
     Author:     Makarius
 
 Simplified thread operations.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/Concurrent/volatile.scala
--- a/src/Pure/Concurrent/volatile.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/Concurrent/volatile.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/Concurrent/volatile.scala
+    Module:     Library
     Author:     Makarius
 
 Volatile variables.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/General/exn.scala
--- a/src/Pure/General/exn.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/exn.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/exn.scala
+    Module:     Library
     Author:     Makarius
 
 Support for exceptions (arbitrary throwables).
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/General/markup.scala
--- a/src/Pure/General/markup.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/markup.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/markup.scala
+    Module:     Library
     Author:     Makarius
 
 Generic markup elements.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/General/properties.scala
--- a/src/Pure/General/properties.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/properties.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/properties.scala
+    Module:     Library
     Author:     Makarius
 
 Property lists.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/General/sha1.scala
--- a/src/Pure/General/sha1.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/sha1.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/sha1.scala
+    Module:     Library
     Author:     Makarius
 
 Digest strings according to SHA-1 (see RFC 3174).
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/General/timing.scala
--- a/src/Pure/General/timing.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/timing.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/timing.scala
+    Module:     Library
     Author:     Makarius
 
 Basic support for time measurement.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/PIDE/markup_tree.scala
--- a/src/Pure/PIDE/markup_tree.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/PIDE/markup_tree.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/PIDE/markup_tree.scala
+    Module:     Library
     Author:     Fabian Immler, TU Munich
     Author:     Makarius
 
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/PIDE/text.scala
--- a/src/Pure/PIDE/text.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/PIDE/text.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/PIDE/text.scala
+    Module:     Library
     Author:     Fabian Immler, TU Munich
     Author:     Makarius
 
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/PIDE/xml.scala
--- a/src/Pure/PIDE/xml.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/PIDE/xml.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/PIDE/xml.scala
+    Module:     Library
     Author:     Makarius
 
 Untyped XML trees and basic data representation.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/PIDE/yxml.scala
--- a/src/Pure/PIDE/yxml.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/PIDE/yxml.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/PIDE/yxml.scala
+    Module:     Library
     Author:     Makarius
 
 Efficient text representation of XML trees.  Suitable for direct
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/System/cygwin.scala
--- a/src/Pure/System/cygwin.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/cygwin.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/cygwin.scala
+    Module:     Library
     Author:     Makarius
 
 Accessing the Cygwin installation.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/System/download.scala
--- a/src/Pure/System/download.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/download.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/download.scala
+    Module:     Library
     Author:     Makarius
 
 Download URLs -- with progress monitor.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/System/event_bus.scala
--- a/src/Pure/System/event_bus.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/event_bus.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/event_bus.scala
+    Module:     Library
     Author:     Makarius
 
 Generic event bus with multiple receiving actors.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/platform.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/platform.scala
+    Module:     Library
     Author:     Makarius
 
 Raw platform identification.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/System/standard_system.scala
--- a/src/Pure/System/standard_system.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/standard_system.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/standard_system.scala
+    Module:     Library
     Author:     Makarius
 
 Standard system operations, with basic Cygwin/Posix compatibility.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/System/swing_thread.scala
--- a/src/Pure/System/swing_thread.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/swing_thread.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/swing_thread.scala
+    Module:     Library
     Author:     Makarius
     Author:     Fabian Immler, TU Munich
 
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/library.scala
--- a/src/Pure/library.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/library.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/library.scala
+    Module:     Library
     Author:     Makarius
 
 Basic library.
diff -r d83797ef0d2d -r 546d78f0d81f src/Pure/package.scala
--- a/src/Pure/package.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/package.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/package.scala
+    Module:     Library
     Author:     Makarius
 
 Toplevel isabelle package.