Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment
authorhaftmann
Mon, 30 Aug 2010 14:48:25 +0200
changeset 38908 732149f6ebf9
parent 38868 0f861635949d
child 38909 919c924067f3
tuned comment
src/Tools/Code/code_target.ML file | annotate | diff | comparison | revisions 
--- 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 =
isabelle