diff options
author | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-05 12:37:11 +0000 |
---|---|---|
committer | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-05 12:37:11 +0000 |
commit | 5c57ade1faa98699b14e9007fd109b02d87872ee (patch) | |
tree | 51d57ccfe035e15255ebd01b9ff4c1ac2ea940d3 /ide/coq.mli | |
parent | 60d0b86575890a4d3c8ade626fba17e7e0883e15 (diff) |
Stronger checks on coqtop termination, warning when zombies.
Also, reindentation + typed_notebook simplification
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13241 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coq.mli')
-rw-r--r-- | ide/coq.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index b2efd63fc..30ee75d41 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -23,6 +23,8 @@ val spawn_coqtop : string -> coqtop val kill_coqtop : coqtop -> unit +val coqtop_zombies : unit -> int + val reset_coqtop : coqtop -> unit exception Coq_failure of (Util.loc option * string) @@ -41,8 +43,6 @@ sig val set : coqtop -> t -> bool -> unit end -val reset_initial : unit -> unit - val raw_interp : coqtop -> string -> unit val interp : coqtop -> bool -> string -> int |