[coq] Untabify the whole ML codebase.

We also remove trailing whitespace.

Script used:

```bash
for i in `find . -name '*.ml' -or -name '*.mli' -or -name '*.mlg'`; do expand -i "$i" | sponge "$i"; sed -e's/[[:space:]]*$//' -i.bak "$i"; done
```

1 files changed, 18 insertions, 18 deletions

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 4b156065f3..1cf065cf25 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -18,8 +18,8 @@ let warn_image () =
   img#set_icon_size `DIALOG;
   img
 
-let warning msg = 
-   GToolbox.message_box ~title:"Warning" ~icon:(warn_image ())#coerce msg 
+let warning msg =
+   GToolbox.message_box ~title:"Warning" ~icon:(warn_image ())#coerce msg
 
 let cb = GData.clipboard Gdk.Atom.primary
 
@@ -212,15 +212,15 @@ let try_export file_name s =
     try match encoding#get with
       |Eutf8 -> Minilib.log "UTF-8 is enforced" ; s
       |Elocale ->
-	let is_unicode,char_set = Glib.Convert.get_charset () in
-	if is_unicode then
-	  (Minilib.log "Locale is UTF-8" ; s)
-	else
-	  (Minilib.log ("Locale is "^char_set);
-	   Glib.Convert.convert_with_fallback
+        let is_unicode,char_set = Glib.Convert.get_charset () in
+        if is_unicode then
+          (Minilib.log "Locale is UTF-8" ; s)
+        else
+          (Minilib.log ("Locale is "^char_set);
+           Glib.Convert.convert_with_fallback
              ~from_codeset:"UTF-8" ~to_codeset:char_set s)
       |Emanual enc ->
-	(Minilib.log ("Manual charset is "^ enc);
+        (Minilib.log ("Manual charset is "^ enc);
          Glib.Convert.convert_with_fallback
            ~from_codeset:"UTF-8" ~to_codeset:enc s)
     with e ->
@@ -279,9 +279,9 @@ let select_file_for_open ~title ?(filter=true) ?parent ?filename () =
     match file_chooser#run () with
     | `OPEN ->
       begin
-	match file_chooser#filename with
-	  | None -> None
-	  | Some _ as f ->
+        match file_chooser#filename with
+          | None -> None
+          | Some _ as f ->
             project_path#set file_chooser#current_folder; f
       end
     | `DELETE_EVENT | `CANCEL -> None in
@@ -365,12 +365,12 @@ let coqtop_path () =
             if Sys.file_exists new_prog ||
                CString.equal Filename.(basename new_prog) new_prog
             then new_prog
-	    else
-	      let in_macos_bundle =
-		Filename.concat
-		  (Filename.dirname new_prog)
-		  (Filename.concat "../Resources/bin" (Filename.basename new_prog))
-	      in if Sys.file_exists in_macos_bundle then in_macos_bundle
+            else
+              let in_macos_bundle =
+                Filename.concat
+                  (Filename.dirname new_prog)
+                  (Filename.concat "../Resources/bin" (Filename.basename new_prog))
+              in if Sys.file_exists in_macos_bundle then in_macos_bundle
                  else "coqidetop.opt"
         with Not_found -> "coqidetop.opt"
   in file