changeset 30161 | c26e515f1c29 |
parent 30024 | 5e9d471afef3 |
child 30242 | aea5d7fa7ef5 |
--- a/src/Tools/code/code_target.ML Sat Feb 28 14:02:12 2009 +0100 +++ b/src/Tools/code/code_target.ML Sat Feb 28 14:09:58 2009 +0100 @@ -1,5 +1,4 @@ (* Title: Tools/code/code_target.ML - ID: $Id$ Author: Florian Haftmann, TU Muenchen Serializer from intermediate language ("Thin-gol") to target languages.