Delete trailing whitespaces in all *.{v,ml*} files

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 32 insertions, 32 deletions

diff --git a/ide/utils/okey.mli b/ide/utils/okey.mli
index c8d48389c2..84ea4df449 100644
--- a/ide/utils/okey.mli
+++ b/ide/utils/okey.mli
@@ -23,7 +23,7 @@
 (*                                                                               *)
 (*********************************************************************************)
 
-(** Okey interface. 
+(** Okey interface.
 
    Once the lib is compiled and installed, you can use it by referencing
    it with the [Okey] module. You must add [okey.cmo] or [okey.cmx]
@@ -35,7 +35,7 @@ type modifier = Gdk.Tags.modifier
 (** Set the default modifier list. The first default value is [[]].*)
 val set_default_modifiers : modifier list -> unit
 
-(** Set the default modifier mask. The first default value is 
+(** Set the default modifier mask. The first default value is
    [[`MOD2 ; `MOD3 ; `MOD4 ; `MOD5 ; `LOCK]].
    The mask defines the modifiers not taken into account
    when looking for the handler of a key press event.
@@ -48,67 +48,67 @@ val set_default_mask : modifier list -> unit
    @param remove when true, the previous handlers for the given key and modifier
    list are not kept.
    @param cond this function is a guard: the [callback] function is not called
-   if the [cond] function returns [false]. 
+   if the [cond] function returns [false].
    The default [cond] function always returns [true].
 
    @param mods the list of modifiers. If not given, the default modifiers
-   are used. 
+   are used.
    You can set the default modifiers with function {!Okey.set_default_modifiers}.
 
    @param mask the list of modifiers which must not be taken
    into account to trigger the given handler. [mods]
    and [mask] must not have common modifiers. If not given, the default mask
-   is used. 
+   is used.
    You can set the default modifiers mask with function {!Okey.set_default_mask}.
 *)
 val add :
     < connect : < destroy : callback: (unit -> unit) -> GtkSignal.id; .. >;
-      event : GObj.event_ops; get_oid : int; .. > -> 
-	?cond: (unit -> bool) -> 
-	  ?mods: modifier list -> 
-	    ?mask: modifier list -> 
-	      Gdk.keysym -> 
-		(unit -> unit) -> 
+      event : GObj.event_ops; get_oid : int; .. > ->
+	?cond: (unit -> bool) ->
+	  ?mods: modifier list ->
+	    ?mask: modifier list ->
+	      Gdk.keysym ->
+		(unit -> unit) ->
 		  unit
 
 (** It calls {!Okey.add} for each given key.*)
-val add_list : 
+val add_list :
     < connect : < destroy : callback: (unit -> unit) -> GtkSignal.id; .. >;
-      event : GObj.event_ops; get_oid : int; .. > -> 
-	?cond: (unit -> bool) -> 
-	  ?mods: modifier list -> 
-	    ?mask: modifier list -> 
-	      Gdk.keysym list -> 
-		(unit -> unit) -> 
+      event : GObj.event_ops; get_oid : int; .. > ->
+	?cond: (unit -> bool) ->
+	  ?mods: modifier list ->
+	    ?mask: modifier list ->
+	      Gdk.keysym list ->
+		(unit -> unit) ->
 		  unit
-	      
+
 (** Like {!Okey.add} but the previous handlers for the
    given modifiers and key are not kept.*)
 val set :
     < connect : < destroy : callback: (unit -> unit) -> GtkSignal.id; .. >;
-      event : GObj.event_ops; get_oid : int; .. > -> 
-	?cond: (unit -> bool) -> 
-	  ?mods: modifier list -> 
-	    ?mask: modifier list -> 
-	      Gdk.keysym -> 
-		(unit -> unit) -> 
+      event : GObj.event_ops; get_oid : int; .. > ->
+	?cond: (unit -> bool) ->
+	  ?mods: modifier list ->
+	    ?mask: modifier list ->
+	      Gdk.keysym ->
+		(unit -> unit) ->
 		  unit
 
 (** It calls {!Okey.set} for each given key.*)
-val set_list : 
+val set_list :
     < connect : < destroy : callback: (unit -> unit) -> GtkSignal.id; .. >;
       event : GObj.event_ops; get_oid : int; .. > ->
-	?cond: (unit -> bool) -> 
-	  ?mods: modifier list -> 
-	    ?mask: modifier list -> 
-	      Gdk.keysym list -> 
-		(unit -> unit) -> 
+	?cond: (unit -> bool) ->
+	  ?mods: modifier list ->
+	    ?mask: modifier list ->
+	      Gdk.keysym list ->
+		(unit -> unit) ->
 		  unit
 
 (** Remove the handlers associated to the given widget.
    This is automatically done when a widget is destroyed but
    you can do it yourself. *)
-val remove_widget : 
+val remove_widget :
     < connect : < destroy : callback: (unit -> unit) -> GtkSignal.id; .. >;
       event : GObj.event_ops; get_oid : int; .. > ->
 	unit ->