diff options
| author | letouzey | 2012-12-19 16:45:24 +0000 |
|---|---|---|
| committer | letouzey | 2012-12-19 16:45:24 +0000 |
| commit | b50199faf3cf5dacc9fc19640eb2dcf244540bac (patch) | |
| tree | 542f5d49cb204cc7840dcaa7bfee5737fe94f067 /ide/coqOps.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/coqOps.mli')
| -rw-r--r-- | ide/coqOps.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqOps.mli b/ide/coqOps.mli index 2a6963fee8..acc80cd629 100644 --- a/ide/coqOps.mli +++ b/ide/coqOps.mli @@ -17,7 +17,7 @@ object method raw_coq_query : string -> Coq.task method show_goals : Coq.task method backtrack_last_phrase : Coq.task - method include_file_dir_in_path : Coq.task + method initialize : Coq.task end class coqops : |