Fixing typos - Part 3

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). *)