From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 26 Feb 2004 14:52:57 +0000 (+0000)
Subject: added vim modeline for encoding=utf8
X-Git-Tag: v0_0_4~72
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4240cc4ea18d734df697ccbce423d42f74c03c63;p=helm.git

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 d21c5d3a7..d07cc49ef 100644
--- 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 3c73aabd1..c88a0ec7d 100644
--- 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 09120c449..cd0f47282 100644
--- 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: *)