diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 0938cbe689554269e4532fe655129af09b0e6f54..6f482afbae8ddccba099c7da70904ddef415cd3b 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 72726ff4175b7ca357396bf584b14f5017e99c31..8ef8daa3451454ad8076a0e07f69e30f716d3229 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 8e631d43dd6c5776f81789c20dd3a1c12cae764f..8db083399609157b5b34b2b545185724faa5214f 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 edb7b3a23ef7ce850d9f1869de894b5650f0ce04..6a09b31376ec318de54bad828a1f6130305035ed 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 65f6c32c8a5e48227a9d7845210757b1ce82dd96..a825b61ab2b039ab7c101577a948777ece376176 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 341b3bdb481e400e885b9682202becc463947e94..ccf6e4b9f2dd6a42b55953b464750b31c109edac 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 144cb11a6ae37d558c1ed327811df1391bd6b4ff..63d81ad68a9bbf4f4d619bf737714c2405d5a1f3 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 28fa48ca18df74b45bfbefcdb83c18183d22d75b..412f31509dce0534724d0aad7b47ac1490529849 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 f3d16e4fd6c4302c95e8d268e4308569219398bc..39e7fd0673203256b38db7aa7a10a1d63860f091 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 7ea6b0f8515081bc7f0cddc6218f7433ba4af04e..3fb17edfc6d14e294f745249ede320cd6ef0aba1 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 9230c11d95e284da7da9719d2c8a0ac9d9d8958d..806d54ef205ce11e8f9af64c607f63da6bc41b5e 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 7d460bdf2ef5a7be4b6a4fa4ff6cdea127807c26..4eef4a81c5f468429a1a80410d9aa59ea9ef529d 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 fd46280ae2faeba53026db0dc5be8ff2cccccaf3..cae0f7278c0e9932f4acc488a138756e2f719b97 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 dd5c9ad4230fb0ae152217bd8b8c7cf9755e113d..d2954dee73f6002f11141786ed75ebd0e0a2b8b5 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 5c093a6fd3ca216cfdb92952e8e61f42ec34be42..667d3a6be3d99c1a63af65449f1ead212f2423c2 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 4c605adc757e25c36a43785ce1f5e7aea3b61691..3187932aabb83dfcc9cd143a713e04fb44ba496a 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 489826987449cacae35b619be958162881318165..971c59af5c9e1ad811069e83e960e9f5bd8cc73a 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 8070ccd301bff46ea2abf433f272672e5e12a0a3..b63083dbd7d80584bc21f14a08eafd227f040394 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 5f06001044edd9162ba34768517b03936469c220..20141603128437e8d97c304194d29229cd4d86ea 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 a79acee065fd1aaff76edb29575e84f942bcb84d..62aa41db4e03135a4d2fafc56b36f833ff216931 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 6671a898ff8fc716af177d9be8632dc9c02d5cb1..a1408af752950e4b96698c73464e837a8684507f 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 61f6f7961fa3bb90ecdfb051841c04bf91d88060..8d62c689d75b105246c2972f54afc5e6c8ac3fc4 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 f19d88d84fef5ca502c181a533dade055a4b185d..59d8294dc7c8acaf8359fa70d01223a017f55c30 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 0ab9bdff347a08ea8a81f214517cd20ae14b30ab..2fc4bdb8780db5db0598fce5f8ac7bd3b7c4c742 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 9ab40461184e2aae267bc6c697f8238ee7fa6244..6109eee78bbb02de72bdf88522665a618edea83b 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 bd3b497fa7ad21092e83587c4b5fff566b406a8d..5d6ac1b20965d2654824291aa289de4018f3a7f1 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 fd7471371d99140f44da49cb630b0ebc21951b1f..b8fe849f57e2ef81bc288295712f45d21c786c2d 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 adc8504e089e3519cc323385d6af37e3724848f8..e7b4da88cad02160902ec0618a40e838386e663c 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 b75b17e25557ff406f1332e352a34c2702aac284..cd4e8b0683d6735dd269b51f8f62c419834d2d6e 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 1dee50fadefd530c0ef8717aba8823fdf12a6834..c12fa058e1ff5f20c808af8cc3faced174ed53ba 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 84153e7efadb235c950d56f21e45c6ef03e69a91..7cb43927a90c3d79dc5ca65cf18d8619cbd78ea5 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 9300917bf00dd2e8673326466d1bd4e2b7701e2a..00477c6d666c4a66081cb2c70428fd16fac3fc53 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 0a4c5535ac1ddfd62fd91f0739eba9ec2ba10a5c..d00f92a474e9ec755da56c936ac29d8516f168cd 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 4dd15a496ef810b88706a5ca075d86f226fab2f5..9264717cb51c1a41eac7d8259c786fb36af56ca1 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 279eb0e2d5ee6d9ad5a0df2d5e13649fcb1b3d3f..62ec37dc1c54fd7b274f4954663649ab86b47a03 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 59ff56fc04dcf555c01f94671bef543874f7ffa3..598ed1585a0123e70508cec04743d6cbbde72298 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 fa72d6864160bb98146611fdae8c86b88aeb46e4..14aafdbf899821726f469ce348b376b877bcc599 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 eb647456d549c49769d857f67e33a8aed0b3ebf5..3d98f02f81ddfb30a6b0e519d391aef1ff3d477f 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 99984c495aad21f5c6f9b584d172429bd7e835e6..fac1bb85836af86aeb0dfa624c83a920bae55df0 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 89ef2fc91737866b52da14ffc1e435570ea78fb3..257403563e87792b9d4963a00761c5b324e87fdd 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 cf396ec75169c7ea980051050127cc8b4568383f..e2ffb8fe0a75fec8a69a5cc39352e888afcc312b 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 29cad4f25a2f68fc4ce44476e2419f82b22d5f1e..094ae87ddf2ee35cbc33a1d5751e33cd5cbe41a4 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 4d5c16ccd84a40e34da8df6d255cc9b119c07f30..d70a50fc22b27c483b3a3638701f403c427d01cb 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 cfef6cf8479c63f0d06511801e700d243783b4db..1347f0bdd4b12a63a4a4d314e4c8ed729641ec11 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 a46fdf3e2ef50b40fc381a7a1e4ff0404c69f8c4..06b7fbd94c07b68431cc52d36a8a1f6aec799bb9 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 fb3dc2a70aa893100ce7c30114dc51be48d02dde..02ad0437a43b358b336bc5ca66c71c1439ef545d 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 0e58f0d38c228f8435fc629a4378c6be8675366d..fec603de1f003aff59553fccbe2af0eeb93ebd5e 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 72ed7e347bc3861f7724815a04e0764b60b28674..55a25b6cfe4f559b58c33c247529776982bcef49 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 2ea3fcb57732ed8b74bb449e0ec6c6045760622b..ca3b92db5158837f143c15551f920c0a3b5febd4 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 12e4146a51421101e9961ec30f0cb982f57c5dc6..bd5f6d4c0046ec80650ceeb69b89f8e63da68b30 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 81eff2b19311ac07ba024f143dc5b0caa163de7c..2ea1dec38ec68db17a08b6e592988c6cb6cb54f9 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 9074919d974d244fd6c50e0532113f03bc05f878..f23799a5facaeba732b9c08b25090bb0ec6f042b 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 a52df02f1fb3019bd150fe443738e55d02fd69b8..f2e31ca0228e731f0c75b4da093253dbbdc32abf 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 c905d1596ac2333ab61f76d231a0523f70cc0706..ba47ad25ad45a5b2405af151561a443690da0f08 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 : *)