# HG changeset patch
# User haftmann
# Date 1283172505 -7200
# Node ID 732149f6ebf9bf03399c804d0299eb83ebd31ea4
# Parent  0f861635949db38595d852442486512631a2d15a
tuned comment

diff -r 0f861635949d -r 732149f6ebf9 src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Mon Aug 30 10:38:28 2010 +0200
+++ b/src/Tools/Code/code_target.ML	Mon Aug 30 14:48:25 2010 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Tools/Code/code_target.ML
     Author:     Florian Haftmann, TU Muenchen
 
-Serializer from intermediate language ("Thin-gol") to target languages.
+Generic infrastructure for serializers from intermediate language ("Thin-gol") to target languages.
 *)
 
 signature CODE_TARGET =