diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-12-19 16:45:24 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-12-19 16:45:24 +0000 |
| commit | b50199faf3cf5dacc9fc19640eb2dcf244540bac (patch) | |
| tree | 542f5d49cb204cc7840dcaa7bfee5737fe94f067 /ide/session.mli | |
| parent | 32b7a0cc9c8302febd7639d22c80554fa4ec8d88 (diff) | |
Coqide: cleaner Coq.PrintOpt and session creation
PrintOpt.set now only updates the state Hashtbl of options,
a PrintOpt.enforce is mandatory to transmit them to coqtop.
This enforce is done for instance by Coq.goals.
The various signal handlers about coqide's buffer are now installed
in session creation, and not anymore via the coqops initializer.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16105 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/session.mli')
| -rw-r--r-- | ide/session.mli | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/ide/session.mli b/ide/session.mli index 75b03d860..e98cbbd7d 100644 --- a/ide/session.mli +++ b/ide/session.mli @@ -22,11 +22,8 @@ type session = { tab_label : GMisc.label; } -type print_items = - (Coq.PrintOpt.t list * string * string * string * bool) list - (** [create filename coqtop_args] *) -val create : string option -> string list -> print_items -> session +val create : string option -> string list -> session val kill : session -> unit |