diff options
| author | ppedrot | 2012-05-13 02:51:30 +0000 |
|---|---|---|
| committer | ppedrot | 2012-05-13 02:51:30 +0000 |
| commit | 2ca3e39dbcdd07d6bc777f1514999109827a2410 (patch) | |
| tree | 578670e90619a9a1cd8f4d3e6b82fbfdb917d1f6 /lib | |
| parent | 0296f82e4cd1a13fa5567373a03a66aad9e0987a (diff) | |
Added semantic completion in CoqIDE. (Should also add an option for that...)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15317 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/serialize.ml | 1 | ||||
| -rw-r--r-- | lib/serialize.mli | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/lib/serialize.ml b/lib/serialize.ml index 105775bda6..fd1c6d0555 100644 --- a/lib/serialize.ml +++ b/lib/serialize.ml @@ -69,6 +69,7 @@ let get_options : (option_name * option_state) list call = GetOptions let set_options l : unit call = SetOptions l let inloadpath s : bool call = InLoadPath s let mkcases s : string list list call = MkCases s +let search flags : search_answer list call = Search flags let quit : unit call = Quit (** * Coq answers to CoqIde *) diff --git a/lib/serialize.mli b/lib/serialize.mli index 357b8815b5..0a1e9a107a 100644 --- a/lib/serialize.mli +++ b/lib/serialize.mli @@ -58,6 +58,9 @@ val mkcases : string -> string list list call proof is in progress. *) val evars : evar list option call +(** Search for objects satisfying the given search flags. *) +val search : search_flags -> search_answer list call + (** Retrieve the list of options of the current toplevel, together with their state. *) val get_options : (option_name * option_state) list call |