| changeset 75393 | 87ebf5a50283 |
| parent 71601 | 97ccf48c2f0c |
| 75388:b3ca4a6ed74b | 75393:87ebf5a50283 |
|---|---|
7 */ |
7 */ |
8 |
8 |
9 package isabelle |
9 package isabelle |
10 |
10 |
11 |
11 |
12 object Document_ID |
12 object Document_ID { |
13 { |
|
14 type Generic = Long |
13 type Generic = Long |
15 type Version = Generic |
14 type Version = Generic |
16 type Command = Generic |
15 type Command = Generic |
17 type Exec = Generic |
16 type Exec = Generic |
18 |
17 |