equal
deleted
inserted
replaced
11 type document_id = string |
11 type document_id = string |
12 val define_command: command_id -> Toplevel.transition -> unit |
12 val define_command: command_id -> Toplevel.transition -> unit |
13 val begin_document: document_id -> Path.T -> unit |
13 val begin_document: document_id -> Path.T -> unit |
14 val end_document: document_id -> unit |
14 val end_document: document_id -> unit |
15 val edit_document: document_id -> document_id -> (command_id * command_id option) list -> unit |
15 val edit_document: document_id -> document_id -> (command_id * command_id option) list -> unit |
|
16 val init: unit -> unit |
16 end; |
17 end; |
17 |
18 |
18 structure Isar_Document: ISAR_DOCUMENT = |
19 structure Isar_Document: ISAR_DOCUMENT = |
19 struct |
20 struct |
20 |
21 |