explicit indication of modules for independent Scala library;
authorwenzelm
Mon Nov 28 22:18:19 2011 +0100 (2011-11-28)
changeset 45667546d78f0d81f
parent 45666 d83797ef0d2d
child 45669 06e259492f6b
explicit indication of modules for independent Scala library;
src/Pure/Concurrent/counter.scala
src/Pure/Concurrent/future.scala
src/Pure/Concurrent/simple_thread.scala
src/Pure/Concurrent/volatile.scala
src/Pure/General/exn.scala
src/Pure/General/markup.scala
src/Pure/General/properties.scala
src/Pure/General/sha1.scala
src/Pure/General/timing.scala
src/Pure/PIDE/markup_tree.scala
src/Pure/PIDE/text.scala
src/Pure/PIDE/xml.scala
src/Pure/PIDE/yxml.scala
src/Pure/System/cygwin.scala
src/Pure/System/download.scala
src/Pure/System/event_bus.scala
src/Pure/System/platform.scala
src/Pure/System/standard_system.scala
src/Pure/System/swing_thread.scala
src/Pure/library.scala
src/Pure/package.scala
     1.1 --- a/src/Pure/Concurrent/counter.scala	Mon Nov 28 22:05:32 2011 +0100
     1.2 +++ b/src/Pure/Concurrent/counter.scala	Mon Nov 28 22:18:19 2011 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  /*  Title:      Pure/Concurrent/counter.scala
     1.5 +    Module:     Library
     1.6      Author:     Makarius
     1.7  
     1.8  Synchronized counter for unique identifiers < 0.
     2.1 --- a/src/Pure/Concurrent/future.scala	Mon Nov 28 22:05:32 2011 +0100
     2.2 +++ b/src/Pure/Concurrent/future.scala	Mon Nov 28 22:18:19 2011 +0100
     2.3 @@ -1,4 +1,5 @@
     2.4  /*  Title:      Pure/Concurrent/future.scala
     2.5 +    Module:     Library
     2.6      Author:     Makarius
     2.7  
     2.8  Future values.
     3.1 --- a/src/Pure/Concurrent/simple_thread.scala	Mon Nov 28 22:05:32 2011 +0100
     3.2 +++ b/src/Pure/Concurrent/simple_thread.scala	Mon Nov 28 22:18:19 2011 +0100
     3.3 @@ -1,4 +1,5 @@
     3.4  /*  Title:      Pure/Concurrent/simple_thread.scala
     3.5 +    Module:     Library
     3.6      Author:     Makarius
     3.7  
     3.8  Simplified thread operations.
     4.1 --- a/src/Pure/Concurrent/volatile.scala	Mon Nov 28 22:05:32 2011 +0100
     4.2 +++ b/src/Pure/Concurrent/volatile.scala	Mon Nov 28 22:18:19 2011 +0100
     4.3 @@ -1,4 +1,5 @@
     4.4  /*  Title:      Pure/Concurrent/volatile.scala
     4.5 +    Module:     Library
     4.6      Author:     Makarius
     4.7  
     4.8  Volatile variables.
     5.1 --- a/src/Pure/General/exn.scala	Mon Nov 28 22:05:32 2011 +0100
     5.2 +++ b/src/Pure/General/exn.scala	Mon Nov 28 22:18:19 2011 +0100
     5.3 @@ -1,4 +1,5 @@
     5.4  /*  Title:      Pure/General/exn.scala
     5.5 +    Module:     Library
     5.6      Author:     Makarius
     5.7  
     5.8  Support for exceptions (arbitrary throwables).
     6.1 --- a/src/Pure/General/markup.scala	Mon Nov 28 22:05:32 2011 +0100
     6.2 +++ b/src/Pure/General/markup.scala	Mon Nov 28 22:18:19 2011 +0100
     6.3 @@ -1,4 +1,5 @@
     6.4  /*  Title:      Pure/General/markup.scala
     6.5 +    Module:     Library
     6.6      Author:     Makarius
     6.7  
     6.8  Generic markup elements.
     7.1 --- a/src/Pure/General/properties.scala	Mon Nov 28 22:05:32 2011 +0100
     7.2 +++ b/src/Pure/General/properties.scala	Mon Nov 28 22:18:19 2011 +0100
     7.3 @@ -1,4 +1,5 @@
     7.4  /*  Title:      Pure/General/properties.scala
     7.5 +    Module:     Library
     7.6      Author:     Makarius
     7.7  
     7.8  Property lists.
     8.1 --- a/src/Pure/General/sha1.scala	Mon Nov 28 22:05:32 2011 +0100
     8.2 +++ b/src/Pure/General/sha1.scala	Mon Nov 28 22:18:19 2011 +0100
     8.3 @@ -1,4 +1,5 @@
     8.4  /*  Title:      Pure/General/sha1.scala
     8.5 +    Module:     Library
     8.6      Author:     Makarius
     8.7  
     8.8  Digest strings according to SHA-1 (see RFC 3174).
     9.1 --- a/src/Pure/General/timing.scala	Mon Nov 28 22:05:32 2011 +0100
     9.2 +++ b/src/Pure/General/timing.scala	Mon Nov 28 22:18:19 2011 +0100
     9.3 @@ -1,4 +1,5 @@
     9.4  /*  Title:      Pure/General/timing.scala
     9.5 +    Module:     Library
     9.6      Author:     Makarius
     9.7  
     9.8  Basic support for time measurement.
    10.1 --- a/src/Pure/PIDE/markup_tree.scala	Mon Nov 28 22:05:32 2011 +0100
    10.2 +++ b/src/Pure/PIDE/markup_tree.scala	Mon Nov 28 22:18:19 2011 +0100
    10.3 @@ -1,4 +1,5 @@
    10.4  /*  Title:      Pure/PIDE/markup_tree.scala
    10.5 +    Module:     Library
    10.6      Author:     Fabian Immler, TU Munich
    10.7      Author:     Makarius
    10.8  
    11.1 --- a/src/Pure/PIDE/text.scala	Mon Nov 28 22:05:32 2011 +0100
    11.2 +++ b/src/Pure/PIDE/text.scala	Mon Nov 28 22:18:19 2011 +0100
    11.3 @@ -1,4 +1,5 @@
    11.4  /*  Title:      Pure/PIDE/text.scala
    11.5 +    Module:     Library
    11.6      Author:     Fabian Immler, TU Munich
    11.7      Author:     Makarius
    11.8  
    12.1 --- a/src/Pure/PIDE/xml.scala	Mon Nov 28 22:05:32 2011 +0100
    12.2 +++ b/src/Pure/PIDE/xml.scala	Mon Nov 28 22:18:19 2011 +0100
    12.3 @@ -1,4 +1,5 @@
    12.4  /*  Title:      Pure/PIDE/xml.scala
    12.5 +    Module:     Library
    12.6      Author:     Makarius
    12.7  
    12.8  Untyped XML trees and basic data representation.
    13.1 --- a/src/Pure/PIDE/yxml.scala	Mon Nov 28 22:05:32 2011 +0100
    13.2 +++ b/src/Pure/PIDE/yxml.scala	Mon Nov 28 22:18:19 2011 +0100
    13.3 @@ -1,4 +1,5 @@
    13.4  /*  Title:      Pure/PIDE/yxml.scala
    13.5 +    Module:     Library
    13.6      Author:     Makarius
    13.7  
    13.8  Efficient text representation of XML trees.  Suitable for direct
    14.1 --- a/src/Pure/System/cygwin.scala	Mon Nov 28 22:05:32 2011 +0100
    14.2 +++ b/src/Pure/System/cygwin.scala	Mon Nov 28 22:18:19 2011 +0100
    14.3 @@ -1,4 +1,5 @@
    14.4  /*  Title:      Pure/System/cygwin.scala
    14.5 +    Module:     Library
    14.6      Author:     Makarius
    14.7  
    14.8  Accessing the Cygwin installation.
    15.1 --- a/src/Pure/System/download.scala	Mon Nov 28 22:05:32 2011 +0100
    15.2 +++ b/src/Pure/System/download.scala	Mon Nov 28 22:18:19 2011 +0100
    15.3 @@ -1,4 +1,5 @@
    15.4  /*  Title:      Pure/System/download.scala
    15.5 +    Module:     Library
    15.6      Author:     Makarius
    15.7  
    15.8  Download URLs -- with progress monitor.
    16.1 --- a/src/Pure/System/event_bus.scala	Mon Nov 28 22:05:32 2011 +0100
    16.2 +++ b/src/Pure/System/event_bus.scala	Mon Nov 28 22:18:19 2011 +0100
    16.3 @@ -1,4 +1,5 @@
    16.4  /*  Title:      Pure/System/event_bus.scala
    16.5 +    Module:     Library
    16.6      Author:     Makarius
    16.7  
    16.8  Generic event bus with multiple receiving actors.
    17.1 --- a/src/Pure/System/platform.scala	Mon Nov 28 22:05:32 2011 +0100
    17.2 +++ b/src/Pure/System/platform.scala	Mon Nov 28 22:18:19 2011 +0100
    17.3 @@ -1,4 +1,5 @@
    17.4  /*  Title:      Pure/System/platform.scala
    17.5 +    Module:     Library
    17.6      Author:     Makarius
    17.7  
    17.8  Raw platform identification.
    18.1 --- a/src/Pure/System/standard_system.scala	Mon Nov 28 22:05:32 2011 +0100
    18.2 +++ b/src/Pure/System/standard_system.scala	Mon Nov 28 22:18:19 2011 +0100
    18.3 @@ -1,4 +1,5 @@
    18.4  /*  Title:      Pure/System/standard_system.scala
    18.5 +    Module:     Library
    18.6      Author:     Makarius
    18.7  
    18.8  Standard system operations, with basic Cygwin/Posix compatibility.
    19.1 --- a/src/Pure/System/swing_thread.scala	Mon Nov 28 22:05:32 2011 +0100
    19.2 +++ b/src/Pure/System/swing_thread.scala	Mon Nov 28 22:18:19 2011 +0100
    19.3 @@ -1,4 +1,5 @@
    19.4  /*  Title:      Pure/System/swing_thread.scala
    19.5 +    Module:     Library
    19.6      Author:     Makarius
    19.7      Author:     Fabian Immler, TU Munich
    19.8  
    20.1 --- a/src/Pure/library.scala	Mon Nov 28 22:05:32 2011 +0100
    20.2 +++ b/src/Pure/library.scala	Mon Nov 28 22:18:19 2011 +0100
    20.3 @@ -1,4 +1,5 @@
    20.4  /*  Title:      Pure/library.scala
    20.5 +    Module:     Library
    20.6      Author:     Makarius
    20.7  
    20.8  Basic library.
    21.1 --- a/src/Pure/package.scala	Mon Nov 28 22:05:32 2011 +0100
    21.2 +++ b/src/Pure/package.scala	Mon Nov 28 22:18:19 2011 +0100
    21.3 @@ -1,4 +1,5 @@
    21.4  /*  Title:      Pure/package.scala
    21.5 +    Module:     Library
    21.6      Author:     Makarius
    21.7  
    21.8  Toplevel isabelle package.