changeset 30161 | c26e515f1c29 |
parent 28708 | a1a436f09ec6 |
child 30648 | 17365ef082f3 |
30160:5f7b17941730 | 30161:c26e515f1c29 |
---|---|
1 (* Title: Tools/code/code_printer.ML |
1 (* Title: Tools/code/code_printer.ML |
2 ID: $Id$ |
|
3 Author: Florian Haftmann, TU Muenchen |
2 Author: Florian Haftmann, TU Muenchen |
4 |
3 |
5 Generic operations for pretty printing of target language code. |
4 Generic operations for pretty printing of target language code. |
6 *) |
5 *) |
7 |
6 |