added vim modeline for encoding=utf8

diff --git a/helm/ocaml/cic_disambiguation/arit_notation.ml b/helm/ocaml/cic_disambiguation/arit_notation.ml
index d21c5d3a79f3c9ac2c3bfa5c2d73cae9e1eabc23..d07cc49eff819cd41965a35abe473e141bb20229 100644 (file)
--- a/helm/ocaml/cic_disambiguation/arit_notation.ml
+++ b/helm/ocaml/cic_disambiguation/arit_notation.ml
@@ -154,3 +154,5 @@ let _ =
           Cic.Appl [
             Cic.MutInd (HelmLibraryObjects.Logic.eq_URI, 0, []);
               Cic.Implicit (Some `Type); t1; t2 ] ]));
+
+(* vim:set encoding=utf8: *)

diff --git a/helm/ocaml/cic_disambiguation/logic_notation.ml b/helm/ocaml/cic_disambiguation/logic_notation.ml
index 3c73aabd1cafedf81e87ca6a33150c17d659b8dd..c88a0ec7d282ec4ff1fd4e3d9e1ada6aa99dd01f 100644 (file)
--- a/helm/ocaml/cic_disambiguation/logic_notation.ml
+++ b/helm/ocaml/cic_disambiguation/logic_notation.ml
@@ -72,3 +72,4 @@ let _ =
   DisambiguateChoices.add_unary_op "not" "logical not"
     (const HelmLibraryObjects.Logic.not_URI);
 
+(* vim:set encoding=utf8: *)

diff --git a/helm/ocaml/cic_disambiguation/tex_notation.ml b/helm/ocaml/cic_disambiguation/tex_notation.ml
index 09120c449442ef9494f38609378759a5f8dab5ca..cd0f47282ea73fec12f2715f807baba884194bb4 100644 (file)
--- a/helm/ocaml/cic_disambiguation/tex_notation.ml
+++ b/helm/ocaml/cic_disambiguation/tex_notation.ml
@@ -44,3 +44,4 @@ EXTEND
     ];
 END
 
+(* vim:set encoding=utf8: *)