???

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
author: Pierre Weis <Pierre.Weis@inria.fr> 2003-01-24 14:26:35 +0000
committer: Pierre Weis <Pierre.Weis@inria.fr> 2003-01-24 14:26:35 +0000
commit: f29e3df91f63e31cba09a23ab104932fb4dbc998 (patch)
tree: ef0f48ea66f2dca0420c23e30bb0657884b14eb2 /otherlibs
parent: 992ea701497e7dcae45c88e8a8972b75e3b0804c (diff)
2 files changed, 46 insertions, 46 deletions
diff --git a/otherlibs/labltk/camltk/.depend b/otherlibs/labltk/camltk/.depend
index 6c4ac94bc..203fe291a 100644
--- a/otherlibs/labltk/camltk/.depend
+++ b/otherlibs/labltk/camltk/.depend
@@ -11,16 +11,16 @@ cFont.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
 cFrame.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cGrab.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cGrid.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
-cImagebitmap.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cImage.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
+cImagebitmap.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cImagephoto.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cLabel.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cListbox.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
-cMenubutton.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cMenu.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
+cMenubutton.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cMessage.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
-cOptionmenu.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cOption.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
+cOptionmenu.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cPack.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cPalette.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cPixmap.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
@@ -36,22 +36,6 @@ cTkwait.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
 cToplevel.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cWinfo.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
 cWm.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi 
-camltk.cmo: cBell.cmi cButton.cmi cCanvas.cmi cCheckbutton.cmi cClipboard.cmi \
-    cDialog.cmi cEncoding.cmi cEntry.cmi cFocus.cmi cFont.cmi cFrame.cmi \
-    cGrab.cmi cGrid.cmi cImage.cmi cImagebitmap.cmi cImagephoto.cmi \
-    cLabel.cmi cListbox.cmi cMenu.cmi cMenubutton.cmi cMessage.cmi \
-    cOption.cmi cOptionmenu.cmi cPack.cmi cPalette.cmi cPixmap.cmi cPlace.cmi \
-    cRadiobutton.cmi cResource.cmi cScale.cmi cScrollbar.cmi cSelection.cmi \
-    cText.cmi cTk.cmo cTkvars.cmi cTkwait.cmi cToplevel.cmi cWinfo.cmi \
-    cWm.cmi 
-camltk.cmx: cBell.cmx cButton.cmx cCanvas.cmx cCheckbutton.cmx cClipboard.cmx \
-    cDialog.cmx cEncoding.cmx cEntry.cmx cFocus.cmx cFont.cmx cFrame.cmx \
-    cGrab.cmx cGrid.cmx cImage.cmx cImagebitmap.cmx cImagephoto.cmx \
-    cLabel.cmx cListbox.cmx cMenu.cmx cMenubutton.cmx cMessage.cmx \
-    cOption.cmx cOptionmenu.cmx cPack.cmx cPalette.cmx cPixmap.cmx cPlace.cmx \
-    cRadiobutton.cmx cResource.cmx cScale.cmx cScrollbar.cmx cSelection.cmx \
-    cText.cmx cTk.cmx cTkvars.cmx cTkwait.cmx cToplevel.cmx cWinfo.cmx \
-    cWm.cmx 
 cBell.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cBell.cmi 
 cBell.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
@@ -104,14 +88,14 @@ cGrid.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cGrid.cmi 
 cGrid.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
     ../support/widget.cmx cGrid.cmi 
-cImagebitmap.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
-    ../support/widget.cmi cImagebitmap.cmi 
-cImagebitmap.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
-    ../support/widget.cmx cImagebitmap.cmi 
 cImage.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cImage.cmi 
 cImage.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
     ../support/widget.cmx cImage.cmi 
+cImagebitmap.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
+    ../support/widget.cmi cImagebitmap.cmi 
+cImagebitmap.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
+    ../support/widget.cmx cImagebitmap.cmi 
 cImagephoto.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cImagephoto.cmi 
 cImagephoto.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
@@ -124,26 +108,26 @@ cListbox.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cListbox.cmi 
 cListbox.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
     ../support/widget.cmx cListbox.cmi 
-cMenubutton.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
-    ../support/widget.cmi cMenubutton.cmi 
-cMenubutton.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
-    ../support/widget.cmx cMenubutton.cmi 
 cMenu.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cMenu.cmi 
 cMenu.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
     ../support/widget.cmx cMenu.cmi 
+cMenubutton.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
+    ../support/widget.cmi cMenubutton.cmi 
+cMenubutton.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
+    ../support/widget.cmx cMenubutton.cmi 
 cMessage.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cMessage.cmi 
 cMessage.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
     ../support/widget.cmx cMessage.cmi 
-cOptionmenu.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
-    ../support/widget.cmi cOptionmenu.cmi 
-cOptionmenu.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
-    ../support/widget.cmx cOptionmenu.cmi 
 cOption.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cOption.cmi 
 cOption.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
     ../support/widget.cmx cOption.cmi 
+cOptionmenu.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
+    ../support/widget.cmi cOptionmenu.cmi 
+cOptionmenu.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
+    ../support/widget.cmx cOptionmenu.cmi 
 cPack.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cPack.cmi 
 cPack.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
@@ -208,3 +192,19 @@ cWm.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
     ../support/widget.cmi cWm.cmi 
 cWm.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
     ../support/widget.cmx cWm.cmi 
+camltk.cmo: cBell.cmi cButton.cmi cCanvas.cmi cCheckbutton.cmi cClipboard.cmi \
+    cDialog.cmi cEncoding.cmi cEntry.cmi cFocus.cmi cFont.cmi cFrame.cmi \
+    cGrab.cmi cGrid.cmi cImage.cmi cImagebitmap.cmi cImagephoto.cmi \
+    cLabel.cmi cListbox.cmi cMenu.cmi cMenubutton.cmi cMessage.cmi \
+    cOption.cmi cOptionmenu.cmi cPack.cmi cPalette.cmi cPixmap.cmi cPlace.cmi \
+    cRadiobutton.cmi cResource.cmi cScale.cmi cScrollbar.cmi cSelection.cmi \
+    cText.cmi cTk.cmo cTkvars.cmi cTkwait.cmi cToplevel.cmi cWinfo.cmi \
+    cWm.cmi 
+camltk.cmx: cBell.cmx cButton.cmx cCanvas.cmx cCheckbutton.cmx cClipboard.cmx \
+    cDialog.cmx cEncoding.cmx cEntry.cmx cFocus.cmx cFont.cmx cFrame.cmx \
+    cGrab.cmx cGrid.cmx cImage.cmx cImagebitmap.cmx cImagephoto.cmx \
+    cLabel.cmx cListbox.cmx cMenu.cmx cMenubutton.cmx cMessage.cmx \
+    cOption.cmx cOptionmenu.cmx cPack.cmx cPalette.cmx cPixmap.cmx cPlace.cmx \
+    cRadiobutton.cmx cResource.cmx cScale.cmx cScrollbar.cmx cSelection.cmx \
+    cText.cmx cTk.cmx cTkvars.cmx cTkwait.cmx cToplevel.cmx cWinfo.cmx \
+    cWm.cmx 
diff --git a/otherlibs/labltk/labltk/.depend b/otherlibs/labltk/labltk/.depend
index e3cd27cf1..f1273b18b 100644
--- a/otherlibs/labltk/labltk/.depend
+++ b/otherlibs/labltk/labltk/.depend
@@ -11,16 +11,16 @@ font.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
 frame.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 grab.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 grid.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
-imagebitmap.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 image.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
+imagebitmap.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 imagephoto.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 label.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 listbox.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
-menubutton.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 menu.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
+menubutton.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 message.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
-optionmenu.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 option.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
+optionmenu.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 pack.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 palette.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
 pixmap.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi 
@@ -87,14 +87,14 @@ grid.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
     ../support/widget.cmi grid.cmi 
 grid.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
     ../support/widget.cmx grid.cmi 
-imagebitmap.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
-    ../support/widget.cmi imagebitmap.cmi 
-imagebitmap.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
-    ../support/widget.cmx imagebitmap.cmi 
 image.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
     ../support/widget.cmi image.cmi 
 image.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
     ../support/widget.cmx image.cmi 
+imagebitmap.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
+    ../support/widget.cmi imagebitmap.cmi 
+imagebitmap.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
+    ../support/widget.cmx imagebitmap.cmi 
 imagephoto.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
     ../support/widget.cmi imagephoto.cmi 
 imagephoto.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
@@ -125,26 +125,26 @@ listbox.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
     ../support/widget.cmi listbox.cmi 
 listbox.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
     ../support/widget.cmx listbox.cmi 
-menubutton.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
-    ../support/widget.cmi menubutton.cmi 
-menubutton.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
-    ../support/widget.cmx menubutton.cmi 
 menu.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
     ../support/widget.cmi menu.cmi 
 menu.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
     ../support/widget.cmx menu.cmi 
+menubutton.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
+    ../support/widget.cmi menubutton.cmi 
+menubutton.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
+    ../support/widget.cmx menubutton.cmi 
 message.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
     ../support/widget.cmi message.cmi 
 message.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
     ../support/widget.cmx message.cmi 
-optionmenu.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
-    ../support/widget.cmi optionmenu.cmi 
-optionmenu.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
-    ../support/widget.cmx optionmenu.cmi 
 option.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
     ../support/widget.cmi option.cmi 
 option.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
     ../support/widget.cmx option.cmi 
+optionmenu.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
+    ../support/widget.cmi optionmenu.cmi 
+optionmenu.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
+    ../support/widget.cmx optionmenu.cmi 
 pack.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
     ../support/widget.cmi pack.cmi 
 pack.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
author	Pierre Weis <Pierre.Weis@inria.fr>	2003-01-24 14:26:35 +0000
committer	Pierre Weis <Pierre.Weis@inria.fr>	2003-01-24 14:26:35 +0000
commit	f29e3df91f63e31cba09a23ab104932fb4dbc998 (patch)
tree	ef0f48ea66f2dca0420c23e30bb0657884b14eb2 /otherlibs
parent	992ea701497e7dcae45c88e8a8972b75e3b0804c (diff)