diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/CoqMakefile.in | 2 | ||||
| -rw-r--r-- | tools/coqdep.ml | 2 | ||||
| -rw-r--r-- | tools/coqdoc/output.ml | 2 | ||||
| -rw-r--r-- | tools/coqdoc/tokens.mli | 2 | ||||
| -rw-r--r-- | tools/coqwc.mll | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in index 2ec55d1bd0..d37d2bea94 100644 --- a/tools/CoqMakefile.in +++ b/tools/CoqMakefile.in @@ -171,7 +171,7 @@ DYNOBJ:=.cmxs DYNLIB:=.cmxs endif -# these variables are meant to be overriden if you want to add *extra* flags +# these variables are meant to be overridden if you want to add *extra* flags COQEXTRAFLAGS?= COQCHKEXTRAFLAGS?= COQDOCEXTRAFLAGS?= diff --git a/tools/coqdep.ml b/tools/coqdep.ml index 8823206252..c00fb71dba 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -454,7 +454,7 @@ let usage () = eprintf " -I dir : add (non recursively) dir to ocaml path\n"; eprintf " -R dir -as logname : add and import dir recursively to coq load path under logical name logname\n"; (* deprecate? *) eprintf " -R dir logname : add and import dir recursively to coq load path under logical name logname\n"; - eprintf " -Q dir logname : add (recusively) and open (non recursively) dir to coq load path under logical name logname\n"; + eprintf " -Q dir logname : add (recursively) and open (non recursively) dir to coq load path under logical name logname\n"; eprintf " -dumpgraph f : print a dot dependency graph in file 'f'\n"; eprintf " -dumpgraphbox f : print a dot dependency graph box in file 'f'\n"; eprintf " -exclude-dir dir : skip subdirectories named 'dir' during -R/-Q search\n"; diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml index b703af934d..75667ae909 100644 --- a/tools/coqdoc/output.ml +++ b/tools/coqdoc/output.ml @@ -762,7 +762,7 @@ module Html = struct (* inference rules *) let inf_rule assumptions (_,_,midnm) conclusions = - (* this first function replaces any occurance of 3 or more spaces + (* this first function replaces any occurrence of 3 or more spaces in a row with " "s. We do this to the assumptions so that people can put multiple rules on a line with nice formatting *) let replace_spaces str = diff --git a/tools/coqdoc/tokens.mli b/tools/coqdoc/tokens.mli index 00db2ad317..6449cd5b6f 100644 --- a/tools/coqdoc/tokens.mli +++ b/tools/coqdoc/tokens.mli @@ -57,7 +57,7 @@ val translate : string -> string option dictionary, "<>_h" is one word and gets translated *) -(* Warning: do not output anything on output channel inbetween a call +(* Warning: do not output anything on output channel in between a call to [output_tagged_*] and [flush_sublexer]!! *) type out_function = diff --git a/tools/coqwc.mll b/tools/coqwc.mll index f0f138740c..06b4ad5fd3 100644 --- a/tools/coqwc.mll +++ b/tools/coqwc.mll @@ -207,7 +207,7 @@ and string = parse | eof { 0 } (*s The following entry [read_header] is used to skip the possible header at - the beggining of files (unless option \texttt{-e} is specified). + the beginning of files (unless option \texttt{-e} is specified). It stops whenever it encounters an empty line or any character outside a comment. In this last case, it correctly resets the lexer position on that character (decreasing [lex_curr_pos] by 1). *) |