| changeset 62973 | 744266e32612 |
| parent 62969 | 9f394a16c557 |
| child 63022 | 785a59235a15 |
| 62972:0eedd78c2b47 | 62973:744266e32612 |
|---|---|
1 /* Title: Pure/Thy/sessions.scala |
1 /* Title: Pure/Thy/sessions.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Session information. |
4 Isabelle session information. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 import java.nio.ByteBuffer |
9 import java.nio.ByteBuffer |