removed Ids;
authorwenzelm
Mon Jan 19 19:38:03 2009 +0100 (2009-01-19 ago)
changeset 29564f8b933a62151
parent 29563 4773c5c994dc
child 29565 3f8b24fcfbd6
removed Ids;
src/Pure/Concurrent/mailbox.ML
src/Pure/Concurrent/simple_thread.ML
src/Pure/Concurrent/synchronized.ML
src/Pure/ML-Systems/alice.ML
src/Pure/ML-Systems/exn.ML
src/Pure/ML-Systems/install_pp_polyml.ML
src/Pure/ML-Systems/ml_name_space.ML
src/Pure/ML-Systems/multithreading.ML
src/Pure/ML-Systems/multithreading_polyml.ML
src/Pure/ML-Systems/overloading_smlnj.ML
src/Pure/ML-Systems/polyml-4.1.3.ML
src/Pure/ML-Systems/polyml-4.1.4.ML
src/Pure/ML-Systems/polyml-4.2.0.ML
src/Pure/ML-Systems/polyml-5.0.ML
src/Pure/ML-Systems/polyml-5.1.ML
src/Pure/ML-Systems/polyml.ML
src/Pure/ML-Systems/polyml_common.ML
src/Pure/ML-Systems/polyml_old_basis.ML
src/Pure/ML-Systems/polyml_old_compiler4.ML
src/Pure/ML-Systems/polyml_old_compiler5.ML
src/Pure/ML-Systems/proper_int.ML
src/Pure/ML-Systems/smlnj.ML
src/Pure/ML-Systems/system_shell.ML
src/Pure/ML-Systems/thread_dummy.ML
src/Pure/ML-Systems/time_limit.ML
src/Pure/ML-Systems/universal.ML
     1.1 --- a/src/Pure/Concurrent/mailbox.ML	Mon Jan 19 16:03:04 2009 +0100
     1.2 +++ b/src/Pure/Concurrent/mailbox.ML	Mon Jan 19 19:38:03 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      Pure/Concurrent/mailbox.ML
     1.5 -    ID:         $Id$
     1.6      Author:     Makarius
     1.7  
     1.8  Message exchange via mailbox, with non-blocking send (due to unbounded
     2.1 --- a/src/Pure/Concurrent/simple_thread.ML	Mon Jan 19 16:03:04 2009 +0100
     2.2 +++ b/src/Pure/Concurrent/simple_thread.ML	Mon Jan 19 19:38:03 2009 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  (*  Title:      Pure/Concurrent/simple_thread.ML
     2.5 -    ID:         $Id$
     2.6      Author:     Makarius
     2.7  
     2.8  Simplified thread operations.
     3.1 --- a/src/Pure/Concurrent/synchronized.ML	Mon Jan 19 16:03:04 2009 +0100
     3.2 +++ b/src/Pure/Concurrent/synchronized.ML	Mon Jan 19 19:38:03 2009 +0100
     3.3 @@ -1,5 +1,4 @@
     3.4  (*  Title:      Pure/Concurrent/synchronized.ML
     3.5 -    ID:         $Id$
     3.6      Author:     Fabian Immler and Makarius
     3.7  
     3.8  State variables with synchronized access.
     4.1 --- a/src/Pure/ML-Systems/alice.ML	Mon Jan 19 16:03:04 2009 +0100
     4.2 +++ b/src/Pure/ML-Systems/alice.ML	Mon Jan 19 19:38:03 2009 +0100
     4.3 @@ -1,5 +1,4 @@
     4.4  (*  Title:      Pure/ML-Systems/alice.ML
     4.5 -    ID:         $Id$
     4.6  
     4.7  Compatibility file for Alice 1.4.
     4.8  
     5.1 --- a/src/Pure/ML-Systems/exn.ML	Mon Jan 19 16:03:04 2009 +0100
     5.2 +++ b/src/Pure/ML-Systems/exn.ML	Mon Jan 19 19:38:03 2009 +0100
     5.3 @@ -1,5 +1,4 @@
     5.4  (*  Title:      Pure/ML-Systems/exn.ML
     5.5 -    ID:         $Id$
     5.6      Author:     Makarius
     5.7  
     5.8  Extra support for exceptions.
     6.1 --- a/src/Pure/ML-Systems/install_pp_polyml.ML	Mon Jan 19 16:03:04 2009 +0100
     6.2 +++ b/src/Pure/ML-Systems/install_pp_polyml.ML	Mon Jan 19 19:38:03 2009 +0100
     6.3 @@ -1,5 +1,4 @@
     6.4  (*  Title:      Pure/ML-Systems/install_pp_polyml.ML
     6.5 -    ID:         $Id$
     6.6  
     6.7  Extra toplevel pretty-printing for Poly/ML.
     6.8  *)
     7.1 --- a/src/Pure/ML-Systems/ml_name_space.ML	Mon Jan 19 16:03:04 2009 +0100
     7.2 +++ b/src/Pure/ML-Systems/ml_name_space.ML	Mon Jan 19 19:38:03 2009 +0100
     7.3 @@ -1,5 +1,4 @@
     7.4  (*  Title:      Pure/ML-Systems/ml_name_space.ML
     7.5 -    ID:         $Id$
     7.6      Author:     Makarius
     7.7  
     7.8  ML name space -- dummy version of Poly/ML 5.2 facility.
     8.1 --- a/src/Pure/ML-Systems/multithreading.ML	Mon Jan 19 16:03:04 2009 +0100
     8.2 +++ b/src/Pure/ML-Systems/multithreading.ML	Mon Jan 19 19:38:03 2009 +0100
     8.3 @@ -1,5 +1,4 @@
     8.4  (*  Title:      Pure/ML-Systems/multithreading.ML
     8.5 -    ID:         $Id$
     8.6      Author:     Makarius
     8.7  
     8.8  Dummy implementation of multithreading setup.
     9.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Jan 19 16:03:04 2009 +0100
     9.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Jan 19 19:38:03 2009 +0100
     9.3 @@ -1,5 +1,4 @@
     9.4  (*  Title:      Pure/ML-Systems/multithreading_polyml.ML
     9.5 -    ID:         $Id$
     9.6      Author:     Makarius
     9.7  
     9.8  Multithreading in Poly/ML 5.2 or later (cf. polyml/basis/Thread.sml).
    10.1 --- a/src/Pure/ML-Systems/overloading_smlnj.ML	Mon Jan 19 16:03:04 2009 +0100
    10.2 +++ b/src/Pure/ML-Systems/overloading_smlnj.ML	Mon Jan 19 19:38:03 2009 +0100
    10.3 @@ -1,5 +1,4 @@
    10.4  (*  Title:      Pure/ML-Systems/overloading_smlnj.ML
    10.5 -    ID:         $Id$
    10.6      Author:     Makarius
    10.7  
    10.8  Overloading in SML/NJ (cf. smlnj/base/system/smlnj/init/pervasive.sml).
    11.1 --- a/src/Pure/ML-Systems/polyml-4.1.3.ML	Mon Jan 19 16:03:04 2009 +0100
    11.2 +++ b/src/Pure/ML-Systems/polyml-4.1.3.ML	Mon Jan 19 19:38:03 2009 +0100
    11.3 @@ -1,5 +1,4 @@
    11.4  (*  Title:      Pure/ML-Systems/polyml-4.1.3.ML
    11.5 -    ID:         $Id$
    11.6  
    11.7  Compatibility wrapper for Poly/ML 4.1.3.
    11.8  *)
    12.1 --- a/src/Pure/ML-Systems/polyml-4.1.4.ML	Mon Jan 19 16:03:04 2009 +0100
    12.2 +++ b/src/Pure/ML-Systems/polyml-4.1.4.ML	Mon Jan 19 19:38:03 2009 +0100
    12.3 @@ -1,5 +1,4 @@
    12.4  (*  Title:      Pure/ML-Systems/polyml-4.1.4.ML
    12.5 -    ID:         $Id$
    12.6  
    12.7  Compatibility wrapper for Poly/ML 4.1.4.
    12.8  *)
    13.1 --- a/src/Pure/ML-Systems/polyml-4.2.0.ML	Mon Jan 19 16:03:04 2009 +0100
    13.2 +++ b/src/Pure/ML-Systems/polyml-4.2.0.ML	Mon Jan 19 19:38:03 2009 +0100
    13.3 @@ -1,5 +1,4 @@
    13.4  (*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
    13.5 -    ID:         $Id$
    13.6  
    13.7  Compatibility wrapper for Poly/ML 4.2.0.
    13.8  *)
    14.1 --- a/src/Pure/ML-Systems/polyml-5.0.ML	Mon Jan 19 16:03:04 2009 +0100
    14.2 +++ b/src/Pure/ML-Systems/polyml-5.0.ML	Mon Jan 19 19:38:03 2009 +0100
    14.3 @@ -1,5 +1,4 @@
    14.4  (*  Title:      Pure/ML-Systems/polyml-5.0.ML
    14.5 -    ID:         $Id$
    14.6  
    14.7  Compatibility wrapper for Poly/ML 5.0.
    14.8  *)
    15.1 --- a/src/Pure/ML-Systems/polyml-5.1.ML	Mon Jan 19 16:03:04 2009 +0100
    15.2 +++ b/src/Pure/ML-Systems/polyml-5.1.ML	Mon Jan 19 19:38:03 2009 +0100
    15.3 @@ -1,5 +1,4 @@
    15.4  (*  Title:      Pure/ML-Systems/polyml-5.1.ML
    15.5 -    ID:         $Id$
    15.6  
    15.7  Compatibility wrapper for Poly/ML 5.1.
    15.8  *)
    16.1 --- a/src/Pure/ML-Systems/polyml.ML	Mon Jan 19 16:03:04 2009 +0100
    16.2 +++ b/src/Pure/ML-Systems/polyml.ML	Mon Jan 19 19:38:03 2009 +0100
    16.3 @@ -1,5 +1,4 @@
    16.4  (*  Title:      Pure/ML-Systems/polyml.ML
    16.5 -    ID:         $Id$
    16.6  
    16.7  Compatibility wrapper for Poly/ML 5.2 or later.
    16.8  *)
    17.1 --- a/src/Pure/ML-Systems/polyml_common.ML	Mon Jan 19 16:03:04 2009 +0100
    17.2 +++ b/src/Pure/ML-Systems/polyml_common.ML	Mon Jan 19 19:38:03 2009 +0100
    17.3 @@ -1,5 +1,4 @@
    17.4  (*  Title:      Pure/ML-Systems/polyml_common.ML
    17.5 -    ID:         $Id$
    17.6  
    17.7  Compatibility file for Poly/ML -- common part for 4.x and 5.x.
    17.8  *)
    18.1 --- a/src/Pure/ML-Systems/polyml_old_basis.ML	Mon Jan 19 16:03:04 2009 +0100
    18.2 +++ b/src/Pure/ML-Systems/polyml_old_basis.ML	Mon Jan 19 19:38:03 2009 +0100
    18.3 @@ -1,5 +1,4 @@
    18.4  (*  Title:      Pure/ML-Systems/polyml_old_basis.ML
    18.5 -    ID:         $Id$
    18.6  
    18.7  Fixes for the old SML basis library (before Poly/ML 4.2.0).
    18.8  *)
    19.1 --- a/src/Pure/ML-Systems/polyml_old_compiler4.ML	Mon Jan 19 16:03:04 2009 +0100
    19.2 +++ b/src/Pure/ML-Systems/polyml_old_compiler4.ML	Mon Jan 19 19:38:03 2009 +0100
    19.3 @@ -1,5 +1,4 @@
    19.4  (*  Title:      Pure/ML-Systems/polyml_old_compiler4.ML
    19.5 -    ID:         $Id$
    19.6  
    19.7  Runtime compilation -- for old PolyML.compiler (version 4.x).
    19.8  *)
    20.1 --- a/src/Pure/ML-Systems/polyml_old_compiler5.ML	Mon Jan 19 16:03:04 2009 +0100
    20.2 +++ b/src/Pure/ML-Systems/polyml_old_compiler5.ML	Mon Jan 19 19:38:03 2009 +0100
    20.3 @@ -1,5 +1,4 @@
    20.4  (*  Title:      Pure/ML-Systems/polyml_old_compiler5.ML
    20.5 -    ID:         $Id$
    20.6  
    20.7  Runtime compilation -- for old PolyML.compilerEx (version 5.0, 5.1).
    20.8  *)
    21.1 --- a/src/Pure/ML-Systems/proper_int.ML	Mon Jan 19 16:03:04 2009 +0100
    21.2 +++ b/src/Pure/ML-Systems/proper_int.ML	Mon Jan 19 19:38:03 2009 +0100
    21.3 @@ -1,5 +1,4 @@
    21.4  (*  Title:      Pure/ML-Systems/proper_int.ML
    21.5 -    ID:         $Id$
    21.6      Author:     Makarius
    21.7  
    21.8  SML basis with type int representing proper integers, not machine
    22.1 --- a/src/Pure/ML-Systems/smlnj.ML	Mon Jan 19 16:03:04 2009 +0100
    22.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Mon Jan 19 19:38:03 2009 +0100
    22.3 @@ -1,5 +1,4 @@
    22.4  (*  Title:      Pure/ML-Systems/smlnj.ML
    22.5 -    ID:         $Id$
    22.6  
    22.7  Compatibility file for Standard ML of New Jersey 110 or later.
    22.8  *)
    23.1 --- a/src/Pure/ML-Systems/system_shell.ML	Mon Jan 19 16:03:04 2009 +0100
    23.2 +++ b/src/Pure/ML-Systems/system_shell.ML	Mon Jan 19 19:38:03 2009 +0100
    23.3 @@ -1,5 +1,4 @@
    23.4  (*  Title:      Pure/ML-Systems/system_shell.ML
    23.5 -    ID:         $Id$
    23.6      Author:     Makarius
    23.7  
    23.8  Generic system shell processes (no provisions to propagate interrupts;
    24.1 --- a/src/Pure/ML-Systems/thread_dummy.ML	Mon Jan 19 16:03:04 2009 +0100
    24.2 +++ b/src/Pure/ML-Systems/thread_dummy.ML	Mon Jan 19 19:38:03 2009 +0100
    24.3 @@ -1,5 +1,4 @@
    24.4  (*  Title:      Pure/ML-Systems/thread_dummy.ML
    24.5 -    ID:         $Id$
    24.6      Author:     Makarius
    24.7  
    24.8  Default (mostly dummy) implementation of thread structures
    25.1 --- a/src/Pure/ML-Systems/time_limit.ML	Mon Jan 19 16:03:04 2009 +0100
    25.2 +++ b/src/Pure/ML-Systems/time_limit.ML	Mon Jan 19 19:38:03 2009 +0100
    25.3 @@ -1,5 +1,4 @@
    25.4  (*  Title:      Pure/ML-Systems/time_limit.ML
    25.5 -    ID:         $Id$
    25.6      Author:     Makarius
    25.7  
    25.8  Dummy implementation of NJ's TimeLimit structure.
    26.1 --- a/src/Pure/ML-Systems/universal.ML	Mon Jan 19 16:03:04 2009 +0100
    26.2 +++ b/src/Pure/ML-Systems/universal.ML	Mon Jan 19 19:38:03 2009 +0100
    26.3 @@ -1,5 +1,4 @@
    26.4  (*  Title:      Pure/ML-Systems/universal.ML
    26.5 -    ID:         $Id$
    26.6      Author:     Makarius
    26.7  
    26.8  Universal values via tagged union.  Emulates structure Universal