| changeset 562 | daf404920ab9 |
| parent 560 | 8d30446d89f0 |
| child 565 | cecd7a941885 |
| 561:aec7073d4645 | 562:daf404920ab9 |
|---|---|
644 *} |
644 *} |
645 |
645 |
646 text {* |
646 text {* |
647 @{ML_ind "Binding.name_of"} returns the string without markup |
647 @{ML_ind "Binding.name_of"} returns the string without markup |
648 |
648 |
649 @{ML_ind "Binding.conceal"} |
649 @{ML_ind "Binding.concealed"} |
650 *} |
650 *} |
651 |
651 |
652 section {* Concurrency (TBD) *} |
652 section {* Concurrency (TBD) *} |
653 |
653 |
654 text {* |
654 text {* |