equal
deleted
inserted
replaced
1 (* Title: Pure/General/pretty.ML |
1 (* Title: Pure/General/pretty.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Lawrence C Paulson |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1991 University of Cambridge |
4 Author: Markus Wenzel, TU Munich |
|
5 License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 |
6 |
6 Generic pretty printing module. |
7 Generic pretty printing module. |
7 |
8 |
8 Loosely based on |
9 Loosely based on |
9 D. C. Oppen, "Pretty Printing", |
10 D. C. Oppen, "Pretty Printing", |