From a57eb439631f360c83cceb180f3dce23ada23db8 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hans-peter.deifel@fau.de>
Date: Tue, 21 Mar 2017 21:12:39 +0100
Subject: [PATCH] Add vim modeline to all OCaml files

---
 src/coalg/coalg.ml               | 4 +++-
 src/coalgcompare/coalgcompare.ml | 2 ++
 src/debugger/debugger.ml         | 2 ++
 src/lib/ALCFormula.ml            | 2 ++
 src/lib/ALCFormula.mli           | 2 ++
 src/lib/ALCGraph.ml              | 2 ++
 src/lib/ALCGraph.mli             | 2 ++
 src/lib/ALCMisc.ml               | 2 ++
 src/lib/CoAlgFormula.ml          | 2 ++
 src/lib/CoAlgFormula.mli         | 2 ++
 src/lib/CoAlgLogicUtils.ml       | 2 ++
 src/lib/CoAlgLogicUtils.mli      | 2 ++
 src/lib/CoAlgLogics.ml           | 2 ++
 src/lib/CoAlgLogics.mli          | 2 ++
 src/lib/CoAlgMisc.ml             | 2 ++
 src/lib/CoAlgMisc.mli            | 2 ++
 src/lib/CoAlgReasoner.ml         | 2 ++
 src/lib/CoAlgReasoner.mli        | 2 ++
 src/lib/CoolUtils.ml             | 2 ++
 src/lib/CoolUtils.mli            | 2 ++
 src/lib/FunctorParsing.ml        | 2 ++
 src/lib/FunctorParsing.mli       | 2 ++
 src/lib/HashConsing.ml           | 2 ++
 src/lib/HashConsing.mli          | 2 ++
 src/lib/MiscSolver.ml            | 2 ++
 src/lib/MiscSolver.mli           | 2 ++
 src/lib/altGenlex.ml             | 2 ++
 src/lib/altGenlex.mli            | 2 ++
 src/lib/genAndComp.ml            | 2 ++
 src/lib/glpk.ml                  | 2 ++
 src/lib/glpk.mli                 | 2 ++
 src/lib/gmlmip.ml                | 2 ++
 src/lib/gmlmip.mli               | 2 ++
 src/lib/minisat.ml               | 2 ++
 src/lib/minisat.mli              | 2 ++
 src/ncurses/Curses.ml            | 2 ++
 src/ncurses/Curses.mli           | 2 ++
 src/ncurses/NCUI.ml              | 2 ++
 src/ncurses/NCUI.mli             | 2 ++
 src/ncurses/Readline.ml          | 2 ++
 src/ncurses/Readline.mli         | 2 ++
 src/ncurses/Repl.ml              | 2 ++
 src/ncurses/Repl.mli             | 2 ++
 src/owl/OWL.ml                   | 2 ++
 src/owl/OWL.mli                  | 2 ++
 src/owl/OWLFunctionalParser.ml   | 2 ++
 src/owl/OWLFunctionalParser.mli  | 2 ++
 src/owl/cool-owl.ml              | 2 ++
 src/repl-example/repl-example.ml | 2 ++
 src/testsuite/DL98TestCases.ml   | 2 ++
 src/testsuite/DL98TestCases.mli  | 2 ++
 src/testsuite/Testsuite.ml       | 2 ++
 src/testsuite/Testsuite.mli      | 2 ++
 src/testsuite/cool-testsuite.ml  | 2 ++
 54 files changed, 109 insertions(+), 1 deletion(-)

diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 0938cbe..6f482af 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -237,5 +237,7 @@ let _ =
     | "nnf" -> choiceNNF ()
     | "verify" -> choiceVerify ()
     | "graph" -> choiceGraph ()
-	| "nom2fix" -> choiceNom2fix()
+    | "nom2fix" -> choiceNom2fix()
     | _ -> printUsage ()
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/coalgcompare/coalgcompare.ml b/src/coalgcompare/coalgcompare.ml
index 72726ff..8ef8daa 100644
--- a/src/coalgcompare/coalgcompare.ml
+++ b/src/coalgcompare/coalgcompare.ml
@@ -497,3 +497,5 @@ let _ =
   let (fl, tboxND, tboxD) = exportALCQuery tbox sf in
   ALCGraph.isSat ~verbose:true fl tboxND tboxD
  *)
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/debugger/debugger.ml b/src/debugger/debugger.ml
index 8e631d4..8db0833 100644
--- a/src/debugger/debugger.ml
+++ b/src/debugger/debugger.ml
@@ -114,3 +114,5 @@ let _ =
     }
     in
     Repl.start session
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/ALCFormula.ml b/src/lib/ALCFormula.ml
index edb7b3a..6a09b31 100644
--- a/src/lib/ALCFormula.ml
+++ b/src/lib/ALCFormula.ml
@@ -1819,3 +1819,5 @@ let importTancs2000 filename =
   with Stream.Failure ->
     close_in file;
     A.printError mk_exn ~ts "unexpected EOS"
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/ALCFormula.mli b/src/lib/ALCFormula.mli
index 65f6c32..a825b61 100644
--- a/src/lib/ALCFormula.mli
+++ b/src/lib/ALCFormula.mli
@@ -100,3 +100,5 @@ val createFactTBox : string -> formula list -> formula list -> definition list -
 val createWill : string -> formula -> unit
 val createOWL : string -> formula list -> formula list -> definition list -> unit
 val importTancs2000 : string -> (formula list) * (formula list) * definition list
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/ALCGraph.ml b/src/lib/ALCGraph.ml
index 341b3bd..ccf6e4b 100644
--- a/src/lib/ALCGraph.ml
+++ b/src/lib/ALCGraph.ml
@@ -399,3 +399,5 @@ let isSat ?(verbose = false) fl tboxND tboxD =
     print_newline ()
   end else ();
   sat
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/ALCGraph.mli b/src/lib/ALCGraph.mli
index 144cb11..63d81ad 100644
--- a/src/lib/ALCGraph.mli
+++ b/src/lib/ALCGraph.mli
@@ -2,3 +2,5 @@ type formula = ALCFormula.formula
 type definition = ALCFormula.definition
 
 val isSat : ?verbose:bool -> formula list -> formula list -> definition list -> bool
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/ALCMisc.ml b/src/lib/ALCMisc.ml
index 28fa48c..412f315 100644
--- a/src/lib/ALCMisc.ml
+++ b/src/lib/ALCMisc.ml
@@ -895,3 +895,5 @@ let rankingNoAnd = [ A.getTypeFormula (A.OR (A.TRUE, A.TRUE));
     whose formulae are stored in the bitsets explicitly.
  *)
 let notyNoAnd = 7
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml
index f3d16e4..39e7fd0 100644
--- a/src/lib/CoAlgFormula.ml
+++ b/src/lib/CoAlgFormula.ml
@@ -2352,3 +2352,5 @@ module HcFHt = Hashtbl.Make(
     let hash (f : t) = f.HC.tag
   end
  )
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgFormula.mli b/src/lib/CoAlgFormula.mli
index 7ea6b0f..3fb17ed 100644
--- a/src/lib/CoAlgFormula.mli
+++ b/src/lib/CoAlgFormula.mli
@@ -172,3 +172,5 @@ val hc_replace : HcFormula.t -> string -> hcFormula -> hcFormula -> hcFormula
 val hc_freeIn : string -> hcFormula -> bool
 
 module HcFHt : (Hashtbl.S with type key = hcFormula)
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgLogicUtils.ml b/src/lib/CoAlgLogicUtils.ml
index 9230c11..806d54e 100644
--- a/src/lib/CoAlgLogicUtils.ml
+++ b/src/lib/CoAlgLogicUtils.ml
@@ -111,3 +111,5 @@ let string_of_coalition sort bs =
 let string_of_coalition_list sort bs_list =
     String.concat "\n" (List.map (string_of_coalition sort) bs_list)
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgLogicUtils.mli b/src/lib/CoAlgLogicUtils.mli
index 7d460bd..4eef4a8 100644
--- a/src/lib/CoAlgLogicUtils.mli
+++ b/src/lib/CoAlgLogicUtils.mli
@@ -15,3 +15,5 @@ val string_of_coalition_list : sort -> bset list -> string
 
 
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgLogics.ml b/src/lib/CoAlgLogics.ml
index fd46280..cae0f72 100644
--- a/src/lib/CoAlgLogics.ml
+++ b/src/lib/CoAlgLogics.ml
@@ -719,3 +719,5 @@ let getExpandingFunctionProducer = function
   | DefaultImplication -> mkRule_DefaultImplication
   | Choice -> mkRule_Choice
   | Fusion -> mkRule_Fusion
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgLogics.mli b/src/lib/CoAlgLogics.mli
index dd5c9ad..d2954de 100644
--- a/src/lib/CoAlgLogics.mli
+++ b/src/lib/CoAlgLogics.mli
@@ -7,3 +7,5 @@ open CoAlgMisc
 
 
 val getExpandingFunctionProducer : functors -> sort -> bset -> bset -> sort list -> stateExpander
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index 5c093a6..667d3a6 100644
--- a/src/lib/CoAlgMisc.ml
+++ b/src/lib/CoAlgMisc.ml
@@ -1291,3 +1291,5 @@ let ppFormulae nomTbl tbox (s, f) =
   List.iter (fun (s, f) -> bsetAdd tboxTbl.(s) (C.HcFHt.find htF.(s) f)) hctbox;
   tboxTable := tboxTbl;
   (tbox1, (s, f1), initbs)
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgMisc.mli b/src/lib/CoAlgMisc.mli
index 4c605ad..3187932 100644
--- a/src/lib/CoAlgMisc.mli
+++ b/src/lib/CoAlgMisc.mli
@@ -370,3 +370,5 @@ val lfToAt : sort -> localFormula -> atFormula
 val ppFormulae : (string -> sort option) -> CoAlgFormula.sortedFormula list -> CoAlgFormula.sortedFormula ->
     CoAlgFormula.sortedFormula list * CoAlgFormula.sortedFormula * bset
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 4898269..971c59a 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -1127,3 +1127,5 @@ let isSat ?(verbose = false) sorts nomTable tbox sf =
     print_newline ()
   else ();
   sat
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoAlgReasoner.mli b/src/lib/CoAlgReasoner.mli
index 8070ccd..b63083d 100644
--- a/src/lib/CoAlgReasoner.mli
+++ b/src/lib/CoAlgReasoner.mli
@@ -23,3 +23,5 @@ val initReasoner : sortTable -> (string -> CoAlgFormula.sort option) ->
 val runReasonerStep : unit -> unit
 val reasonerFinished : unit -> bool
 val isRootSat : unit -> bool option
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoolUtils.ml b/src/lib/CoolUtils.ml
index 5f06001..2014160 100644
--- a/src/lib/CoolUtils.ml
+++ b/src/lib/CoolUtils.ml
@@ -61,3 +61,5 @@ let fromSome optionalvalue =
     match optionalvalue with
     | Some x -> x
     | None -> raise No_value
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/CoolUtils.mli b/src/lib/CoolUtils.mli
index a79acee..62aa41d 100644
--- a/src/lib/CoolUtils.mli
+++ b/src/lib/CoolUtils.mli
@@ -33,3 +33,5 @@ val (<<) : ('b -> 'c) -> ('a -> 'b) -> ('a -> 'c)
 exception No_value
 val fromSome : 'a option -> 'a
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/FunctorParsing.ml b/src/lib/FunctorParsing.ml
index 6671a89..a1408af 100644
--- a/src/lib/FunctorParsing.ml
+++ b/src/lib/FunctorParsing.ml
@@ -183,3 +183,5 @@ let sortTableFromString str : CoAlgReasoner.sortTable =
     (*print_endline (stringFromSortTable str);*)
     str
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/FunctorParsing.mli b/src/lib/FunctorParsing.mli
index 61f6f79..8d62c68 100644
--- a/src/lib/FunctorParsing.mli
+++ b/src/lib/FunctorParsing.mli
@@ -17,3 +17,5 @@ val sortTableFromString : string -> CoAlgReasoner.sortTable
 
 val stringFromSortTable : CoAlgReasoner.sortTable -> string
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/HashConsing.ml b/src/lib/HashConsing.ml
index f19d88d..59d8294 100644
--- a/src/lib/HashConsing.ml
+++ b/src/lib/HashConsing.ml
@@ -245,3 +245,5 @@ module Make(H : HashedTyped) : (S with type nde = H.nde and type fml = H.fml) =
     let fold fkt init hc =
       Array.fold_left (fun i l -> List.fold_left fkt i l) init hc.data
   end
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/HashConsing.mli b/src/lib/HashConsing.mli
index 0ab9bdf..2fc4bdb 100644
--- a/src/lib/HashConsing.mli
+++ b/src/lib/HashConsing.mli
@@ -24,3 +24,5 @@ module type S =
   end
 
 module Make(H : HashedTyped) : (S with type nde = H.nde and type fml = H.fml)
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/MiscSolver.ml b/src/lib/MiscSolver.ml
index 9ab4046..6109eee 100644
--- a/src/lib/MiscSolver.ml
+++ b/src/lib/MiscSolver.ml
@@ -441,3 +441,5 @@ let initMisc size bsf bst lEX nrEX nrAX =
   idcount := 0;
   cacherun := 0;
   postfixcount := 0
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/MiscSolver.mli b/src/lib/MiscSolver.mli
index bd3b497..5d6ac1b 100644
--- a/src/lib/MiscSolver.mli
+++ b/src/lib/MiscSolver.mli
@@ -46,3 +46,5 @@ val exportAsSet : string -> ('a -> string list) -> 'a -> string
 val exportFSet : (int -> 'a) -> bitset -> 'a list
 
 val initMisc : int -> int -> int -> int -> int -> int -> unit
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/altGenlex.ml b/src/lib/altGenlex.ml
index fd74713..b8fe849 100644
--- a/src/lib/altGenlex.ml
+++ b/src/lib/altGenlex.ml
@@ -275,3 +275,5 @@ let rec getKws exc ts kwl =
       match Stream.next ts with
       | Kwd s when s = kw -> getKws exc ts tl
       | t -> printError exc ~t ("key word \"" ^ kw ^ "\" expected: ")
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/altGenlex.mli b/src/lib/altGenlex.mli
index adc8504..e7b4da8 100644
--- a/src/lib/altGenlex.mli
+++ b/src/lib/altGenlex.mli
@@ -10,3 +10,5 @@ val printToken : altToken -> unit
 val printError : (string -> exn) -> ?t:altToken -> ?ts:altToken Stream.t -> string -> 'a
 
 val getKws : (string -> exn) -> altToken Stream.t -> string list -> unit
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/genAndComp.ml b/src/lib/genAndComp.ml
index b75b17e..cd4e8b0 100644
--- a/src/lib/genAndComp.ml
+++ b/src/lib/genAndComp.ml
@@ -1832,3 +1832,5 @@ let gen_Cran2 f k l n =
   in
   let f5 = const_bigOp f.l_and f.l_tt fkt3 (n-1) in
   const_bigOpL f.l_and f.l_tt [f1; f2; f3; f4; f5]
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/glpk.ml b/src/lib/glpk.ml
index 1dee50f..c12fa05 100644
--- a/src/lib/glpk.ml
+++ b/src/lib/glpk.ml
@@ -186,3 +186,5 @@ external get_simplex_iteration_limit : lp -> int = "ocaml_glpk_get_iteration_lim
 external set_simplex_time_limit : lp -> float -> unit = "ocaml_glpk_set_time_limit"
 
 external get_simplex_time_limit : lp -> float = "ocaml_glpk_get_time_limit"
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/glpk.mli b/src/lib/glpk.mli
index 84153e7..7cb4392 100644
--- a/src/lib/glpk.mli
+++ b/src/lib/glpk.mli
@@ -232,3 +232,5 @@ val set_simplex_time_limit : lp -> float -> unit
 
 (** Retrieve the maximum amount of time that [simplex] should take. *)
 val get_simplex_time_limit : lp -> float
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/gmlmip.ml b/src/lib/gmlmip.ml
index 9300917..00477c6 100644
--- a/src/lib/gmlmip.ml
+++ b/src/lib/gmlmip.ml
@@ -6,3 +6,5 @@
    given conjunct of modalities true *)
 external gml_rules : (bool*int*int) list -> (int*bool) list list list = "gmlRules_stub"
 external pml_rules : (bool*int*int*int) list -> (int*bool) list list list = "pmlRules_stub"
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/gmlmip.mli b/src/lib/gmlmip.mli
index 0a4c553..d00f92a 100644
--- a/src/lib/gmlmip.mli
+++ b/src/lib/gmlmip.mli
@@ -8,3 +8,5 @@ val gml_rules : (bool*int*int) list -> (int*bool) list list list
    here positive? means that the formula must be true in order to make the
    given conjunct of modalities true *)
 val pml_rules : (bool*int*int*int) list -> (int*bool) list list list
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/minisat.ml b/src/lib/minisat.ml
index 4dd15a4..9264717 100644
--- a/src/lib/minisat.ml
+++ b/src/lib/minisat.ml
@@ -34,3 +34,5 @@ let literal_status solver lit =
   | 1 -> LFALSE
   | 2 -> LUNDEF
   | _ -> failwith "Unknown status (file minisat.ml)"
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/minisat.mli b/src/lib/minisat.mli
index 279eb0e..62ec37d 100644
--- a/src/lib/minisat.mli
+++ b/src/lib/minisat.mli
@@ -14,3 +14,5 @@ val add_clause : solver -> lit list -> bool
 val invoke_solver : solver -> lit list -> bool
 val literal_status : solver -> lit -> litstatus
 val get_conflict : solver -> lit list
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/ncurses/Curses.ml b/src/ncurses/Curses.ml
index 59ff56f..598ed15 100644
--- a/src/ncurses/Curses.ml
+++ b/src/ncurses/Curses.ml
@@ -16,3 +16,5 @@ external mvwaddstr: window -> int -> int -> string -> unit = "curses_mvwaddstr"
 external getmaxyx: window -> int * int = "curses_getmaxyx"
 external getch : unit -> int = "curses_getch"
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/ncurses/Curses.mli b/src/ncurses/Curses.mli
index fa72d68..14aafdb 100644
--- a/src/ncurses/Curses.mli
+++ b/src/ncurses/Curses.mli
@@ -16,3 +16,5 @@ val getmaxyx: window -> int * int
 
 val getch : unit -> int
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/ncurses/NCUI.ml b/src/ncurses/NCUI.ml
index eb64745..3d98f02 100644
--- a/src/ncurses/NCUI.ml
+++ b/src/ncurses/NCUI.ml
@@ -68,3 +68,5 @@ let set_root_widget widget =
     root_widget := Some widget;
     update()
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/ncurses/NCUI.mli b/src/ncurses/NCUI.mli
index 99984c4..fac1bb8 100644
--- a/src/ncurses/NCUI.mli
+++ b/src/ncurses/NCUI.mli
@@ -28,3 +28,5 @@ val screen_close : unit -> unit
 
 
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/ncurses/Readline.ml b/src/ncurses/Readline.ml
index 89ef2fc..2574035 100644
--- a/src/ncurses/Readline.ml
+++ b/src/ncurses/Readline.ml
@@ -36,3 +36,5 @@ let readline_state () =
     let wrong_cursor = wrong_cursor_position () in
     let line = line_buffer () in
     line, utf8length (String.sub line 0 wrong_cursor)
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/ncurses/Readline.mli b/src/ncurses/Readline.mli
index cf396ec..e2ffb8f 100644
--- a/src/ncurses/Readline.mli
+++ b/src/ncurses/Readline.mli
@@ -16,3 +16,5 @@ val readline_state : unit -> string * int
 
 (* registers a new redraw-callback replacing the previous one *)
 val register_redraw: (unit -> unit) -> unit
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/ncurses/Repl.ml b/src/ncurses/Repl.ml
index 29cad4f..094ae87 100644
--- a/src/ncurses/Repl.ml
+++ b/src/ncurses/Repl.ml
@@ -102,3 +102,5 @@ let stop () =
 let exitBinding : binding =
     bind "exit" (fun _ -> stop()) "exits this tool" ""
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/ncurses/Repl.mli b/src/ncurses/Repl.mli
index 4d5c16c..d70a50f 100644
--- a/src/ncurses/Repl.mli
+++ b/src/ncurses/Repl.mli
@@ -17,3 +17,5 @@ val start : settings -> unit
 val stop : unit -> unit
 
 val exitBinding : binding
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/owl/OWL.ml b/src/owl/OWL.ml
index cfef6cf..1347f0b 100644
--- a/src/owl/OWL.ml
+++ b/src/owl/OWL.ml
@@ -193,3 +193,5 @@ let to_coalg (uri,axioms): R.sortTable * R.nomTable * R.assumptions =
   let assumptions = L.map (fun f -> (0,f)) assumptions in
   (sorts,nomTable,assumptions)
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/owl/OWL.mli b/src/owl/OWL.mli
index a46fdf3..06b7fbd 100644
--- a/src/owl/OWL.mli
+++ b/src/owl/OWL.mli
@@ -52,3 +52,5 @@ val to_coalg : ontology -> CoAlgReasoner.sortTable * CoAlgReasoner.nomTable * Co
 
 val coalg_formula_of_owl : class_exp -> CoAlgFormula.formula
 val coalg_global_assumption_of_owl : axiom -> CoAlgFormula.formula
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/owl/OWLFunctionalParser.ml b/src/owl/OWLFunctionalParser.ml
index fb3dc2a..02ad043 100644
--- a/src/owl/OWLFunctionalParser.ml
+++ b/src/owl/OWLFunctionalParser.ml
@@ -290,3 +290,5 @@ let parse str =
         raise (ParseError((file,line,col), msg))
     )
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/owl/OWLFunctionalParser.mli b/src/owl/OWLFunctionalParser.mli
index 0e58f0d..fec603d 100644
--- a/src/owl/OWLFunctionalParser.mli
+++ b/src/owl/OWLFunctionalParser.mli
@@ -35,3 +35,5 @@ val tree_of_string : string -> string annotated tree
 
 val parse : string -> OWL.prefixes * OWL.ontology list
 val parse_intree_list : string annotated intree list -> OWL.prefixes * (OWL.ontology list)
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/owl/cool-owl.ml b/src/owl/cool-owl.ml
index 72ed7e3..55a25b6 100644
--- a/src/owl/cool-owl.ml
+++ b/src/owl/cool-owl.ml
@@ -89,3 +89,5 @@ let _ =
     )
 
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/repl-example/repl-example.ml b/src/repl-example/repl-example.ml
index 2ea3fcb..ca3b92d 100644
--- a/src/repl-example/repl-example.ml
+++ b/src/repl-example/repl-example.ml
@@ -45,3 +45,5 @@ let main4 () =
     Repl.start session
 
 let _ = main4 ()
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/testsuite/DL98TestCases.ml b/src/testsuite/DL98TestCases.ml
index 12e4146..bd5f6d4 100644
--- a/src/testsuite/DL98TestCases.ml
+++ b/src/testsuite/DL98TestCases.ml
@@ -59,3 +59,5 @@ let unsatCasesList : satCheck list =
 
 
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/testsuite/DL98TestCases.mli b/src/testsuite/DL98TestCases.mli
index 81eff2b..2ea1dec 100644
--- a/src/testsuite/DL98TestCases.mli
+++ b/src/testsuite/DL98TestCases.mli
@@ -4,3 +4,5 @@ open Testsuite
 val satCasesList   : satCheck list
 val unsatCasesList : satCheck list
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/testsuite/Testsuite.ml b/src/testsuite/Testsuite.ml
index 9074919..f23799a 100644
--- a/src/testsuite/Testsuite.ml
+++ b/src/testsuite/Testsuite.ml
@@ -69,3 +69,5 @@ let runSatCheckVerbose (sc:satCheck) =
     res
 
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/testsuite/Testsuite.mli b/src/testsuite/Testsuite.mli
index a52df02..f2e31ca 100644
--- a/src/testsuite/Testsuite.mli
+++ b/src/testsuite/Testsuite.mli
@@ -15,3 +15,5 @@ type satCheck = testResult * (CoAlgMisc.sortTable) * string
 val runSatCheck : satCheck -> testResult
 val runSatCheckVerbose : satCheck -> testResult
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/testsuite/cool-testsuite.ml b/src/testsuite/cool-testsuite.ml
index c905d15..ba47ad2 100644
--- a/src/testsuite/cool-testsuite.ml
+++ b/src/testsuite/cool-testsuite.ml
@@ -182,3 +182,5 @@ let main =
 
 let _ = main
 
+
+(* vim: set et sw=2 sts=2 ts=8 : *)
-- 
GitLab