| changeset 210 | db8e302f44c8 |
| parent 207 | d3cd633e8240 |
| child 215 | 8d1a344a621e |
| 209:17b1512f51af | 210:db8e302f44c8 |
|---|---|
1556 (*>*) |
1556 (*>*) |
1557 |
1557 |
1558 section {* Pretty-Printing (TBD) *} |
1558 section {* Pretty-Printing (TBD) *} |
1559 |
1559 |
1560 text {* |
1560 text {* |
1561 Isabelle has a pretty sphisticated pretty printing module. |
|
1562 *} |
|
1563 |
|
1564 text {* |
|
1561 @{ML Pretty.big_list}, |
1565 @{ML Pretty.big_list}, |
1562 @{ML Pretty.brk}, |
1566 @{ML Pretty.brk}, |
1563 @{ML Pretty.block}, |
1567 @{ML Pretty.block}, |
1564 @{ML Pretty.chunks} |
1568 @{ML Pretty.chunks} |
1565 *} |
1569 *} |