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 /kernel/nativelambda.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 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions