Switch the few remaining iso-latin-1 files to utf8

5 files changed, 10 insertions, 10 deletions

diff --git a/tools/coq-font-lock.el b/tools/coq-font-lock.el
index 05618a041e..068e640025 100644
--- a/tools/coq-font-lock.el
+++ b/tools/coq-font-lock.el
@@ -110,18 +110,18 @@ syntax colouring behaviour.")
 ;;A new face for tactics
 (defface coq-solve-tactics-face
   (proof-face-specs
-   (:foreground "forestgreen" t) ; pour les fonds clairs
-   (:foreground "forestgreen"  t) ; pour les fond foncés
-   ()) ; pour le noir et blanc
+   (:foreground "forestgreen" t) ; for bright backgrounds
+   (:foreground "forestgreen"  t) ; for dark backgrounds
+   ()) ; for black and white
   "Face for names of closing tactics in proof scripts."
   :group 'proof-faces)
 
 ;;A new face for tactics which fail when they don't kill the current goal
 (defface coq-solve-tactics-face
   (proof-face-specs
-   (:foreground "red" t) ; pour les fonds clairs
-   (:foreground "red"  t) ; pour les fond foncés
-   ()) ; pour le noir et blanc
+   (:foreground "red" t) ; for bright backgrounds
+   (:foreground "red"  t) ; for dark backgrounds
+   ()) ; for black and white
   "Face for names of closing tactics in proof scripts."
   :group 'proof-faces)
 
diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 587b5c064d..e4656d2405 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* créer un Makefile pour un développement Coq automatiquement *)
+(* Coq_makefile: automatically create a Makefile for a Coq development *)
 
 let output_channel = ref stdout
 let makefile_name = ref "Makefile"
diff --git a/tools/coqdoc/coqdoc.sty b/tools/coqdoc/coqdoc.sty
index 9de9a38ff9..f49f9f0066 100644
--- a/tools/coqdoc/coqdoc.sty
+++ b/tools/coqdoc/coqdoc.sty
@@ -1,5 +1,5 @@
 
-% This is coqdoc.sty, by Jean-Christophe Filliâtre
+% This is coqdoc.sty, by Jean-Christophe Filliâtre
 % This LaTeX package is used by coqdoc (http://www.lri.fr/~filliatr/coqdoc)
 %
 % You can modify the following macros to customize the appearance
diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index 88a102d85c..f67ab5f95a 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -450,7 +450,7 @@ let gen_mult_files l =
       if (!header_trailer) then Output.trailer ();
       close_out_file()
     end
-      (* Rq: pour latex et texmacs, une toc ou un index séparé n'a pas de sens... *)
+    (* NB: for latex and texmacs, a separated toc or index is meaningless... *)
 
 let read_glob_file vfile f =
   try Index.read_glob vfile f
diff --git a/tools/gallina.el b/tools/gallina.el
index 7af2d765fa..cbc13118a6 100644
--- a/tools/gallina.el
+++ b/tools/gallina.el
@@ -1,7 +1,7 @@
 ;; gallina.el --- Coq mode editing commands for Emacs
 ;;
 ;; Jean-Christophe Filliatre, march 1995
-;; Honteusement pompé de caml.el, Xavier Leroy, july 1993.
+;; Shamelessly copied from caml.el, Xavier Leroy, july 1993.
 ;;
 ;; modified by Marco Maggesi <maggesi@math.unifi.it> for gallina-inferior