| changeset 38418 | 9a7af64d71bb |
| parent 38417 | b8922ae21111 |
| child 38448 | 62d16c415019 |
| 38417:b8922ae21111 | 38418:9a7af64d71bb |
|---|---|
1 /* Title: Pure/System/isar_document.scala |
1 /* Title: Pure/System/isar_document.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Interactive Isar documents. |
4 Protocol commands for interactive Isar documents. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |