From 4240cc4ea18d734df697ccbce423d42f74c03c63 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 26 Feb 2004 14:52:57 +0000 Subject: [PATCH] added vim modeline for encoding=utf8 --- helm/ocaml/cic_disambiguation/arit_notation.ml | 2 ++ helm/ocaml/cic_disambiguation/logic_notation.ml | 1 + helm/ocaml/cic_disambiguation/tex_notation.ml | 1 + 3 files changed, 4 insertions(+) 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: *) -- 2.39.2