diff options
Diffstat (limited to 'ide/wg_Command.mli')
| -rw-r--r-- | ide/wg_Command.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ide/wg_Command.mli b/ide/wg_Command.mli index 3127d38e60..1c5a1e424d 100644 --- a/ide/wg_Command.mli +++ b/ide/wg_Command.mli @@ -7,6 +7,9 @@ (************************************************************************) class command_window : Coq.coqtop -> + mark_as_broken:(Stateid.state_id list -> unit) -> + mark_as_processed:(Stateid.state_id list -> unit) -> + cur_state:(unit -> Stateid.state_id) -> object method new_command : ?command:string -> ?term:string -> unit -> unit method frame : GBin.frame |