| changeset 65430 | 4433d189a77d |
| parent 65429 | fcff401fb609 |
| child 65432 | d938705819bb |
| 65429:fcff401fb609 | 65430:4433d189a77d |
|---|---|
1 /* Title: Pure/Thy/sessions.scala |
1 /* Title: Pure/Thy/sessions.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Isabelle session information. |
4 Cumulative session information. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 import java.nio.ByteBuffer |
9 import java.nio.ByteBuffer |