diff options
Diffstat (limited to 'ide/coq.mli')
| -rw-r--r-- | ide/coq.mli | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 27a0dfe45a..e863288cd1 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -54,10 +54,7 @@ val interp_and_replace : string -> val push_phrase : ('a * reset_info) Stack.t -> reset_info -> 'a -> unit -type undo_cmds -val init_undo_cmds : unit -> undo_cmds -val pop_command : ('a * reset_info) Stack.t -> undo_cmds -> undo_cmds -val apply_undos : ('a * reset_info) Stack.t -> undo_cmds -> unit +val old_rewind : int -> ('a * reset_info) Stack.t -> unit val is_vernac_tactic_command : Vernacexpr.vernac_expr -> bool val is_vernac_state_preserving_command : Vernacexpr.vernac_expr -> bool |