[MINOR: some whitespace issues.
argot@x9c.fr**20111102160700
 Ignore-this: f7a09dccfe7e8815a1f6754c97615115
] hunk ./src/definitions.mli 31
-(** [add defs name value] adds a binding from [name] to [value] to the set of
-    definitions [defs]. *)
+(** [add defs name value] adds a binding from [name] to [value] to the set
+    of definitions [defs]. *)
hunk ./src/definitions.mli 35
-(** [add_from_file defs filename] adds the bindings read from the file named
-    [filename] to the set of definitions [defs]. *)
+(** [add_from_file defs filename] adds the bindings read from the file
+    named [filename] to the set of definitions [defs]. *)
hunk ./src/main.ml 112
-  | "image" ->
-      let filename = self#trimmed_string_of_text text in
-      let basename = Filename.basename filename in
-      let contents = Base64.encode_file filename in
-      add "<img class=\"flag\" src=\"data:image/png;base64,";
-      add contents;
-      add "\" alt=\"";
-      add basename;
-      add "\" title=\"";
-      add basename;
-      add "\"/>"
-  | "fold" ->
-      let id = string_of_int next_fold_id in
-      next_fold_id <- succ next_fold_id;
-      let text = Printf.sprintf "%S" (self#trimmed_string_of_text text) in
-      add "<script type=\"text/javascript\">\n";
-      add "<!--\n";
-      add ("  var argot_fold_state_" ^ id ^ " = false;\n");
-      add ("  var argot_fold_text_" ^ id ^ " = " ^ text ^ ";\n");
-      add ("  function argot_fold_" ^ id ^ "() {\n");
-      add ("    if (argot_fold_state_" ^ id ^ ") {\n");
-      add ("      document.getElementById('argot_fold_" ^ id ^ "').innerHTML = \"\";\n");
-      add ("    } else {\n");
-      add ("      document.getElementById('argot_fold_" ^ id ^ "').innerHTML = argot_fold_text_" ^ id ^ ";\n");
-      add ("    };\n");
-      add ("    argot_fold_state_" ^ id ^ " = !argot_fold_state_" ^ id ^";\n");
-      add ("  }\n");
-      add "//-->\n";
-      add "</script>\n";
-      add ("<a href=\"javascript:argot_fold_" ^ id ^ "();\">...</a>\n");
-      add ("<div id=\"argot_fold_" ^ id ^ "\">\n");
-      add "</div>\n"
-  | _ -> super#html_of_custom_text buff start text
+    | "image" ->
+        let filename = self#trimmed_string_of_text text in
+        let basename = Filename.basename filename in
+        let contents = Base64.encode_file filename in
+        add "<img class=\"flag\" src=\"data:image/png;base64,";
+        add contents;
+        add "\" alt=\"";
+        add basename;
+        add "\" title=\"";
+        add basename;
+        add "\"/>"
+    | "fold" ->
+        let id = string_of_int next_fold_id in
+        next_fold_id <- succ next_fold_id;
+        let text = Printf.sprintf "%S" (self#trimmed_string_of_text text) in
+        add "<script type=\"text/javascript\">\n";
+        add "<!--\n";
+        add ("  var argot_fold_state_" ^ id ^ " = false;\n");
+        add ("  var argot_fold_text_" ^ id ^ " = " ^ text ^ ";\n");
+        add ("  function argot_fold_" ^ id ^ "() {\n");
+        add ("    if (argot_fold_state_" ^ id ^ ") {\n");
+        add ("      document.getElementById('argot_fold_" ^ id ^ "').innerHTML = \"\";\n");
+        add ("    } else {\n");
+        add ("      document.getElementById('argot_fold_" ^ id ^ "').innerHTML = argot_fold_text_" ^ id ^ ";\n");
+        add ("    };\n");
+        add ("    argot_fold_state_" ^ id ^ " = !argot_fold_state_" ^ id ^";\n");
+        add ("  }\n");
+        add "//-->\n";
+        add "</script>\n";
+        add ("<a href=\"javascript:argot_fold_" ^ id ^ "();\">...</a>\n");
+        add ("<div id=\"argot_fold_" ^ id ^ "\">\n");
+        add "</div>\n"
+    | _ -> super#html_of_custom_text buff start text
hunk ./src/utils.mli 38
+
hunk ./src/utils.mli 42
-(** [write_lines filename lines] writes the lines from [lines] to the file
+(** [write_lines filename lines] writes the strings from [lines] to the file
hunk ./src/utils.mli 44
+