1.1 --- a/src/Tools/Code/code_target.ML	Mon Aug 30 10:38:28 2010 +0200
     1.2 +++ b/src/Tools/Code/code_target.ML	Mon Aug 30 14:48:25 2010 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      Tools/Code/code_target.ML
     1.5      Author:     Florian Haftmann, TU Muenchen
     1.6  
     1.7 -Serializer from intermediate language ("Thin-gol") to target languages.
     1.8 +Generic infrastructure for serializers from intermediate language ("Thin-gol") to target languages.
     1.9  *)
    1.10  
    1.11  signature CODE_TARGET =