diff options
Diffstat (limited to 'lib/flags.mli')
| -rw-r--r-- | lib/flags.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/flags.mli b/lib/flags.mli index fe1157d88..8bafa8b1f 100644 --- a/lib/flags.mli +++ b/lib/flags.mli @@ -70,7 +70,9 @@ val boxed_definitions : unit -> bool (* Returns string format for default browser to use from Coq or CoqIDE *) val browser_cmd_fmt : string - + +val is_standard_doc_url : string -> bool + (* Substitute %s in the first chain by the second chain *) val subst_command_placeholder : string -> string -> string |