diff options
87 files changed, 255 insertions, 329 deletions
diff --git a/src/RECENTNEWS b/src/RECENTNEWS index 17b8fd5..c30c495 100644 --- a/src/RECENTNEWS +++ b/src/RECENTNEWS @@ -1,3 +1,8 @@ +CHANGES FROM VERSION 2.21.0 + +* Updated copyright information and subversion tags in file headers + +------------------------------- CHANGES FROM VERSION 2.21.-1 * Removed -mergebatch preference. (I never found it very useful, and diff --git a/src/case.ml b/src/case.ml index dd61dad..49fa6e5 100644 --- a/src/case.ml +++ b/src/case.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/case.ml $ *) -(* $I2: Last modified by vouillon on Wed, 19 May 2004 16:05:24 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/case.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* The update detector, reconciler, and transporter behave differently *) (* depending on whether the local and/or remote file system is case *) diff --git a/src/case.mli b/src/case.mli index acb6077..2e39b3b 100644 --- a/src/case.mli +++ b/src/case.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/case.mli $ *) -(* $I2: Last modified by zheyang on Wed, 12 Dec 2001 02:26:21 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/case.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) val insensitive : unit -> bool diff --git a/src/checksum.ml b/src/checksum.ml index 86bfbb0..389ddd1 100644 --- a/src/checksum.ml +++ b/src/checksum.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/checksum.ml $ *) -(* $I2: Last modified by zheyang on Wed, 12 Dec 2001 02:26:21 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/checksum.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* The checksum (or fast fingerprinting) algorithm must be fast and has to *) (* be called in a rolling fashion (i.e. we must be able to calculate a new *) diff --git a/src/checksum.mli b/src/checksum.mli index d3332de..d6715c3 100644 --- a/src/checksum.mli +++ b/src/checksum.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/checksum.mli $ *) -(* $I2: Last modified by zheyang on Wed, 12 Dec 2001 02:26:21 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/checksum.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) type t = int type u = int array diff --git a/src/clroot.ml b/src/clroot.ml index 7fee2d8..1c52fc7 100644 --- a/src/clroot.ml +++ b/src/clroot.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/clroot.ml $ *) -(* $I2: Last modified by tjim on Wed, 15 Jan 2003 16:46:16 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/clroot.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* This file parses the unison command-line arguments that diff --git a/src/clroot.mli b/src/clroot.mli index 84935e4..7501bf6 100644 --- a/src/clroot.mli +++ b/src/clroot.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/clroot.mli $ *) -(* $I2: Last modified by tjim on Wed, 06 Nov 2002 18:48:47 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/clroot.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Command-line roots *) type clroot = diff --git a/src/common.ml b/src/common.ml index 4bc7a0d..8795767 100644 --- a/src/common.ml +++ b/src/common.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/common.ml $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/common.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) type hostname = string diff --git a/src/common.mli b/src/common.mli index 5823c44..390ab41 100644 --- a/src/common.mli +++ b/src/common.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/common.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/common.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (***************************************************************************) (* COMMON TYPES USED BY ALL MODULES *) diff --git a/src/copy.ml b/src/copy.ml index 2abea67..b412b00 100644 --- a/src/copy.ml +++ b/src/copy.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/copy.ml $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/copy.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) let (>>=) = Lwt.bind diff --git a/src/fileinfo.ml b/src/fileinfo.ml index 0b65092..4379b99 100644 --- a/src/fileinfo.ml +++ b/src/fileinfo.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/fileinfo.ml $ *) -(* $I2: Last modified by vouillon on Tue, 31 Aug 2004 11:33:38 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/fileinfo.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) let debug = Util.debug "fileinfo" diff --git a/src/fileinfo.mli b/src/fileinfo.mli index 019290d..0cfee3c 100644 --- a/src/fileinfo.mli +++ b/src/fileinfo.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/fileinfo.mli $ *) -(* $I2: Last modified by vouillon on Tue, 31 Aug 2004 11:33:38 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/fileinfo.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) type typ = [`ABSENT | `FILE | `DIRECTORY | `SYMLINK] val type2string : typ -> string diff --git a/src/files.ml b/src/files.ml index 6d9d03a..b05a308 100644 --- a/src/files.ml +++ b/src/files.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/files.ml $ *) -(* $I2: Last modified by bcpierce on Fri, 26 Nov 2004 19:34:28 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/files.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common open Lwt diff --git a/src/files.mli b/src/files.mli index 8ec5065..2e0636e 100644 --- a/src/files.mli +++ b/src/files.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/files.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/files.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* As usual, these functions should only be called by the client (i.e., in *) (* the same address space as the user interface). *) diff --git a/src/fileutil.ml b/src/fileutil.ml index d2876a3..e49df93 100644 --- a/src/fileutil.ml +++ b/src/fileutil.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/fileutil.ml $ *) -(* $I2: Last modified by zheyang on Wed, 12 Dec 2001 02:26:21 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/fileutil.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Convert backslashes in a string to forward slashes. Useful in Windows. *) let bs2fs s0 = diff --git a/src/fileutil.mli b/src/fileutil.mli index b87f039..d4af5b0 100644 --- a/src/fileutil.mli +++ b/src/fileutil.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/fileutil.mli $ *) -(* $I2: Last modified by zheyang on Wed, 12 Dec 2001 02:26:21 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/fileutil.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) val bs2fs : string -> string val removeTrailingSlashes : string -> string diff --git a/src/fingerprint.ml b/src/fingerprint.ml index 59d7836..773bfab 100644 --- a/src/fingerprint.ml +++ b/src/fingerprint.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/fingerprint.ml $ *) -(* $I2: Last modified by vouillon on Fri, 05 Nov 2004 10:12:27 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/fingerprint.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* NOTE: IF YOU CHANGE TYPE "FINGERPRINT", THE ARCHIVE FORMAT CHANGES; *) (* INCREMENT "UPDATE.ARCHIVEFORMAT" *) diff --git a/src/fingerprint.mli b/src/fingerprint.mli index eabff4c..60f685e 100644 --- a/src/fingerprint.mli +++ b/src/fingerprint.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/fingerprint.mli $ *) -(* $I2: Last modified by vouillon on Mon, 14 Jun 2004 16:38:56 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/fingerprint.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) type t diff --git a/src/fspath.ml b/src/fspath.ml index 3a2bc97..6c588ba 100644 --- a/src/fspath.ml +++ b/src/fspath.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/fspath.ml $ *) -(* $I2: Last modified by vouillon on Wed, 26 May 2004 09:43:22 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/fspath.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Defines an abstract type of absolute filenames (fspaths). Keeping the *) (* type abstract lets us enforce some invariants which are important for *) diff --git a/src/fspath.mli b/src/fspath.mli index e519e4b..c24f871 100644 --- a/src/fspath.mli +++ b/src/fspath.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/fspath.mli $ *) -(* $I2: Last modified by vouillon on Wed, 26 May 2004 09:43:22 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/fspath.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Defines an abstract type of absolute filenames (fspaths) *) diff --git a/src/globals.ml b/src/globals.ml index 6cd26cd..45562fb 100644 --- a/src/globals.ml +++ b/src/globals.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/globals.ml $ *) -(* $I2: Last modified by bcpierce on Mon, 06 Sep 2004 14:48:05 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/globals.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common diff --git a/src/globals.mli b/src/globals.mli index 21c41ed..368ca3e 100644 --- a/src/globals.mli +++ b/src/globals.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/globals.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/globals.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Global variables and functions needed by top-level modules and user *) (* interfaces *) diff --git a/src/linkgtk.ml b/src/linkgtk.ml index ab71ab2..bdaabe7 100644 --- a/src/linkgtk.ml +++ b/src/linkgtk.ml @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/linkgtk.ml $ *) -(* $I2: Last modified by vouillon on Wed, 26 Apr 2000 20:04:29 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/linkgtk.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) module TopLevel = Main.Body(Uigtk.Body) diff --git a/src/linkgtk2.ml b/src/linkgtk2.ml index f168180..324758b 100644 --- a/src/linkgtk2.ml +++ b/src/linkgtk2.ml @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/linkgtk2.ml $ *) -(* $I2: Last modified by bcpierce on Wed, 21 May 2003 22:02:54 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/linkgtk2.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) module TopLevel = Main.Body(Uigtk2.Body) diff --git a/src/linktext.ml b/src/linktext.ml index 560232e..04b3f6a 100644 --- a/src/linktext.ml +++ b/src/linktext.ml @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/linktext.ml $ *) -(* $I2: Last modified by bcpierce on Mon, 19 Jul 1999 18:14:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/linktext.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) module TopLevel = Main.Body(Uitext.Body) diff --git a/src/linktk.ml b/src/linktk.ml index f1b40ab..3ac117e 100644 --- a/src/linktk.ml +++ b/src/linktk.ml @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/linktk.ml $ *) -(* $I2: Last modified by bcpierce on Mon, 19 Jul 1999 18:14:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/linktk.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) module TopLevel = Main.Body(Uitk.Body) diff --git a/src/lock.ml b/src/lock.ml index d7001e9..5d64995 100644 --- a/src/lock.ml +++ b/src/lock.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/lock.ml $ *) -(* $I2: Last modified by vouillon on Fri, 05 Nov 2004 10:12:27 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/lock.ml *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) let rename oldFile newFile = begin try Unix.link oldFile newFile with Unix.Unix_error _ -> () end; diff --git a/src/lock.mli b/src/lock.mli index a567430..ff67b1c 100644 --- a/src/lock.mli +++ b/src/lock.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/lock.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 24 Mar 2002 11:24:03 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/lock.mli *) +(* $Id$ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* A simple utility module for setting and releasing inter-process locks using entries in the filesystem. *) diff --git a/src/lwt/pqueue.ml b/src/lwt/pqueue.ml index f3a81b5..6c7e9e0 100644 --- a/src/lwt/pqueue.ml +++ b/src/lwt/pqueue.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/lwt/pqueue.ml $ *) -(* $I2: Last modified by vouillon on Fri, 14 Sep 2001 12:35:32 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/lwt/pqueue.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) module type OrderedType = sig diff --git a/src/lwt/pqueue.mli b/src/lwt/pqueue.mli index b2ffa24..8402a91 100644 --- a/src/lwt/pqueue.mli +++ b/src/lwt/pqueue.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/lwt/pqueue.mli $ *) -(* $I2: Last modified by vouillon on Fri, 14 Sep 2001 12:35:32 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/lwt/pqueue.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) module type OrderedType = sig diff --git a/src/main.ml b/src/main.ml index 9f196c1..dd357f3 100644 --- a/src/main.ml +++ b/src/main.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/main.ml $ *) -(* $I2: Last modified by vouillon on Tue, 31 Aug 2004 11:33:38 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/main.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* ---------------------------------------------------------------------- *) diff --git a/src/mkProjectInfo.ml b/src/mkProjectInfo.ml index 9fadebe..b48d844 100644 --- a/src/mkProjectInfo.ml +++ b/src/mkProjectInfo.ml @@ -46,82 +46,3 @@ Printf.printf "MAJORVERSION=%d.%d\n" majorVersion minorVersion;; Printf.printf "VERSION=%d.%d.%d\n" majorVersion minorVersion pointVersion;; Printf.printf "NAME=%s\n" projectName;; - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/src/name.ml b/src/name.ml index f36cb08..875772e 100644 --- a/src/name.ml +++ b/src/name.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/name.ml $ *) -(* $I2: Last modified by vouillon on Wed, 17 Apr 2002 12:03:26 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/name.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* NOTE: IF YOU CHANGE TYPE "NAME", THE ARCHIVE FORMAT CHANGES; INCREMENT "UPDATE.ARCHIVEFORMAT" *) diff --git a/src/name.mli b/src/name.mli index f77e177..df5db5a 100644 --- a/src/name.mli +++ b/src/name.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/name.mli $ *) -(* $I2: Last modified by vouillon on Wed, 17 Apr 2002 12:03:26 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/name.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) type t @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/os.ml $ *) -(* $I2: Last modified by vouillon on Fri, 05 Nov 2004 10:12:27 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/os.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* This file attempts to isolate operating system specific details from the *) (* rest of the program. *) @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/os.mli $ *) -(* $I2: Last modified by vouillon on Tue, 31 Aug 2004 11:33:38 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/os.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) val myCanonicalHostName : string @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/osx.ml $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/osx.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) external isMacOSXPred : unit -> bool = "isMacOSX" diff --git a/src/osx.mli b/src/osx.mli index 5a993aa..5e29ff7 100644 --- a/src/osx.mli +++ b/src/osx.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/osx.mli $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/osx.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) val init : bool -> unit val isMacOSX : bool diff --git a/src/osxsupport.c b/src/osxsupport.c index 1a18dec..e58e3a5 100644 --- a/src/osxsupport.c +++ b/src/osxsupport.c @@ -1,6 +1,6 @@ -/* $I1: Unison file synchronizer: src/osxsupport.c $ */ -/* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ */ -/* $I3: Copyright 1999-2004 (see COPYING for details) $ */ +/* Unison file synchronizer: src/osxsupport.c */ +/* $Id: $ */ +/* Copyright 1999-2006 (see COPYING for details) */ #include <caml/mlvalues.h> #include <caml/alloc.h> diff --git a/src/path.ml b/src/path.ml index c8fa5a4..b0a3d36 100644 --- a/src/path.ml +++ b/src/path.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/path.ml $ *) -(* $I2: Last modified by vouillon on Mon, 14 Jun 2004 16:38:56 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/path.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Defines an abstract type of relative pathnames *) diff --git a/src/path.mli b/src/path.mli index 8802e08..3fcf593 100644 --- a/src/path.mli +++ b/src/path.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/path.mli $ *) -(* $I2: Last modified by vouillon on Tue, 08 Jun 2004 05:16:03 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/path.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Abstract type of relative pathnames *) type 'a path diff --git a/src/pixmaps.ml b/src/pixmaps.ml index eec5a19..9c7caa0 100644 --- a/src/pixmaps.ml +++ b/src/pixmaps.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/pixmaps.ml $ *) -(* $I2: Last modified by bcpierce on Sat, 01 May 2004 13:01:26 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/pixmaps.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) let copyAB color = [| (* width height num_colors chars_per_pixel *) diff --git a/src/pred.ml b/src/pred.ml index 7ec78ed..4324f87 100644 --- a/src/pred.ml +++ b/src/pred.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/pred.ml $ *) -(* $I2: Last modified by bcpierce on Fri, 18 Jun 2004 20:30:54 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/pred.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) let debug = Util.debug "pred" diff --git a/src/pred.mli b/src/pred.mli index 42320a1..ca903f0 100644 --- a/src/pred.mli +++ b/src/pred.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/pred.mli $ *) -(* $I2: Last modified by bcpierce on Fri, 18 Jun 2004 10:01:38 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/pred.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* General description: diff --git a/src/props.ml b/src/props.ml index d0050de..8b979c7 100644 --- a/src/props.ml +++ b/src/props.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/props.ml $ *) -(* $I2: Last modified by bcpierce on Sat, 27 Nov 2004 09:22:40 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/props.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) let debug = Util.debug "props" diff --git a/src/props.mli b/src/props.mli index 5435e33..16e24f5 100644 --- a/src/props.mli +++ b/src/props.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/props.mli $ *) -(* $I2: Last modified by vouillon on Mon, 14 Jun 2004 16:38:56 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/props.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* File properties: time, permission, length, etc. *) diff --git a/src/recon.ml b/src/recon.ml index 1e23053..5f029dc 100644 --- a/src/recon.ml +++ b/src/recon.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/recon.ml $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/recon.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common diff --git a/src/recon.mli b/src/recon.mli index 794dba8..babfa09 100644 --- a/src/recon.mli +++ b/src/recon.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/recon.mli $ *) -(* $I2: Last modified by bcpierce on Thu, 24 Jun 2004 12:13:22 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/recon.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) val reconcileAll : Common.updateItem list Common.oneperpath diff --git a/src/remote.ml b/src/remote.ml index 03637af..f47af1a 100644 --- a/src/remote.ml +++ b/src/remote.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/remote.ml $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/remote.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* XXX diff --git a/src/remote.mli b/src/remote.mli index f8fd25e..9666a3f 100644 --- a/src/remote.mli +++ b/src/remote.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/remote.mli $ *) -(* $I2: Last modified by vouillon on Mon, 14 Jun 2004 16:38:56 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/remote.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) module Thread : sig val unwindProtect : (unit -> 'a Lwt.t) -> (exn -> unit Lwt.t) -> 'a Lwt.t diff --git a/src/sortri.ml b/src/sortri.ml index dfaaa7f..1a7adbf 100644 --- a/src/sortri.ml +++ b/src/sortri.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/sortri.ml $ *) -(* $I2: Last modified by zheyang on Sat, 09 Mar 2002 02:42:40 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/sortri.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common diff --git a/src/sortri.mli b/src/sortri.mli index a0a9c28..692d18b 100644 --- a/src/sortri.mli +++ b/src/sortri.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/sortri.mli $ *) -(* $I2: Last modified by vouillon on Wed, 24 Jan 2001 10:09:52 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/sortri.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Sort a list of recon items according to the current setting of various preferences (defined in sort.ml, and accessible from the diff --git a/src/stasher.ml b/src/stasher.ml index 25df027..0f33716 100644 --- a/src/stasher.ml +++ b/src/stasher.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/stasher.ml $ *) +(* Unison file synchronizer: src/stasher.ml *) (* $I2: Last modified by lescuyer *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (*------------------------------------------------------------------------------------*) (* Preferences for backing up and stashing *) diff --git a/src/stasher.mli b/src/stasher.mli index 8fd9249..b35bb2b 100644 --- a/src/stasher.mli +++ b/src/stasher.mli @@ -1,4 +1,4 @@ -(* $I1: Unison file synchronizer: src/stasher.mli $ *) +(* Unison file synchronizer: src/stasher.mli *) (* $I2: Last modified by lescuyer on *) (* $I3: Copyright 1999-2005 (see COPYING for details) $ *) diff --git a/src/strings.mli b/src/strings.mli index b735fd4..253b5aa 100644 --- a/src/strings.mli +++ b/src/strings.mli @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/strings.mli $ *) -(* $I2: Last modified by bcpierce on Wed, 18 Oct 2000 20:15:07 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/strings.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) val docs : (string * (string * string)) list diff --git a/src/transfer.ml b/src/transfer.ml index bb8f399..9474727 100644 --- a/src/transfer.ml +++ b/src/transfer.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/transfer.ml $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/transfer.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* rsync compression algorithm diff --git a/src/transfer.mli b/src/transfer.mli index 543d993..46a30d6 100644 --- a/src/transfer.mli +++ b/src/transfer.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/transfer.mli $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/transfer.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Rsync : general algorithm description diff --git a/src/transport.ml b/src/transport.ml index 436d292..cf5618a 100644 --- a/src/transport.ml +++ b/src/transport.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/transport.ml $ *) -(* $I2: Last modified by vouillon on Fri, 05 Nov 2004 10:12:27 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/transport.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common open Lwt diff --git a/src/transport.mli b/src/transport.mli index 188ddbd..196ff3a 100644 --- a/src/transport.mli +++ b/src/transport.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/transport.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/transport.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Executes the actions implied by the reconItem list. *) val transportItem : diff --git a/src/tree.ml b/src/tree.ml index 5ba1ffc..f58d760 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/tree.ml $ *) -(* $I2: Last modified by vouillon on Wed, 26 May 2004 17:01:49 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/tree.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) type ('a, 'b) t = Node of ('a * ('a, 'b) t) list * 'b option diff --git a/src/tree.mli b/src/tree.mli index 8c03b02..cf7ee09 100644 --- a/src/tree.mli +++ b/src/tree.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/tree.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 24 Mar 2002 11:24:03 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/tree.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* An ('a, 'b) t is a tree with 'a-labeled arcs and 'b-labeled nodes. *) (* Labeling for the internal nodes is optional *) diff --git a/src/ubase/prefs.ml b/src/ubase/prefs.ml index 7bcdd71..c105120 100644 --- a/src/ubase/prefs.ml +++ b/src/ubase/prefs.ml @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/ubase/prefs.ml $ *) -(* $I2: Last modified by bcpierce on Sat, 10 Aug 2002 09:39:41 -0400 $ *) +(* Unison file synchronizer: src/ubase/prefs.ml *) +(* $Id: $ *) (* $I3: Copyright 1999-2002 (see COPYING for details) $ *) let debug = Util.debug "prefs" diff --git a/src/ubase/prefs.mli b/src/ubase/prefs.mli index 778f67e..3420b39 100644 --- a/src/ubase/prefs.mli +++ b/src/ubase/prefs.mli @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/ubase/prefs.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 24 Mar 2002 11:24:03 -0500 $ *) +(* Unison file synchronizer: src/ubase/prefs.mli *) +(* $Id: $ *) (* $I3: Copyright 1999-2002 (see COPYING for details) $ *) type 'a t diff --git a/src/ubase/rx.ml b/src/ubase/rx.ml index 0e13ec5..5340859 100644 --- a/src/ubase/rx.ml +++ b/src/ubase/rx.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/rx.ml $ *) -(* $I2: Last modified by vouillon on Fri, 28 May 2004 16:07:27 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/rx.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Inspired by some code and algorithms from Mark William Hopkins (regexp.tar.gz, available in the comp.compilers file archive) diff --git a/src/ubase/rx.mli b/src/ubase/rx.mli index 2f3c458..38b6d3c 100644 --- a/src/ubase/rx.mli +++ b/src/ubase/rx.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/rx.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 24 Mar 2002 11:24:03 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/rx.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) type t diff --git a/src/ubase/safelist.ml b/src/ubase/safelist.ml index 8ba81e4..516c5f9 100644 --- a/src/ubase/safelist.ml +++ b/src/ubase/safelist.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/safelist.ml $ *) -(* $I2: Last modified by vouillon on Tue, 16 Apr 2002 10:32:38 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/safelist.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) let filterBoth f l = let rec loop r1 r2 = function diff --git a/src/ubase/safelist.mli b/src/ubase/safelist.mli index 3d8045f..7f56c03 100644 --- a/src/ubase/safelist.mli +++ b/src/ubase/safelist.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/safelist.mli $ *) -(* $I2: Last modified by bcpierce on Mon, 09 Sep 2002 21:59:33 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/safelist.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* All functions here are tail recursive and will work for arbitrary sized lists (unlike some of the standard ones). The intention is that diff --git a/src/ubase/trace.ml b/src/ubase/trace.ml index 251c481..5a81d91 100644 --- a/src/ubase/trace.ml +++ b/src/ubase/trace.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/trace.ml $ *) -(* $I2: Last modified by bcpierce on Mon, 15 Sep 2003 11:46:03 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/trace.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* ---------------------------------------------------------------------- *) (* Debugging messages *) diff --git a/src/ubase/trace.mli b/src/ubase/trace.mli index d24a734..32212cd 100644 --- a/src/ubase/trace.mli +++ b/src/ubase/trace.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/trace.mli $ *) -(* $I2: Last modified by bcpierce on Mon, 15 Sep 2003 11:46:03 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/trace.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* ---------------------------------------------------------------------- *) (* Debugging support *) diff --git a/src/ubase/uarg.ml b/src/ubase/uarg.ml index 95d3b58..6671629 100644 --- a/src/ubase/uarg.ml +++ b/src/ubase/uarg.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/uarg.ml $ *) -(* $I2: Last modified by bcpierce on Sun, 24 Mar 2002 11:24:03 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/uarg.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* by Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Slightly modified by BCP, July 1999 *) diff --git a/src/ubase/util.ml b/src/ubase/util.ml index d3f133b..a09fd38 100644 --- a/src/ubase/util.ml +++ b/src/ubase/util.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/util.ml $ *) -(* $I2: Last modified by bcpierce on Sat, 27 Nov 2004 09:22:40 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/util.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (*****************************************************************************) (* CASE INSENSITIVE COMPARISON *) diff --git a/src/ubase/util.mli b/src/ubase/util.mli index aabccc6..e734012 100644 --- a/src/ubase/util.mli +++ b/src/ubase/util.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ubase/util.mli $ *) -(* $I2: Last modified by vouillon on Mon, 14 Jun 2004 16:38:56 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ubase/util.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Miscellaneous utility functions and datatypes *) @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/ui.mli $ *) -(* $I2: Last modified by bcpierce on Mon, 19 Jul 1999 18:14:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/ui.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* The module Ui provides only the user interface signature. Implementations are provided by Uitext and Uitk. *) diff --git a/src/uicommon.ml b/src/uicommon.ml index fc9d9ef..115de38 100644 --- a/src/uicommon.ml +++ b/src/uicommon.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/uicommon.ml $ *) -(* $I2: Last modified by bcpierce on Sat, 27 Nov 2004 09:22:40 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uicommon.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common open Lwt diff --git a/src/uicommon.mli b/src/uicommon.mli index 407aeee..235fcfc 100644 --- a/src/uicommon.mli +++ b/src/uicommon.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/uicommon.mli $ *) -(* $I2: Last modified by bcpierce on Sat, 27 Nov 2004 09:22:40 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uicommon.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* Kinds of UI *) type interface = diff --git a/src/uigtk.ml b/src/uigtk.ml index 9463c83..b7f0b8b 100644 --- a/src/uigtk.ml +++ b/src/uigtk.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/uigtk.ml $ *) -(* $I2: Last modified by vouillon on Thu, 09 Sep 2004 08:43:03 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uigtk.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common open Lwt diff --git a/src/uigtk.mli b/src/uigtk.mli index 88aa6b7..0d05352 100644 --- a/src/uigtk.mli +++ b/src/uigtk.mli @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/uigtk.mli $ *) -(* $I2: Last modified by vouillon on Tue, 30 May 2000 18:27:30 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uigtk.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) module Body : Uicommon.UI diff --git a/src/uigtk2.ml b/src/uigtk2.ml index 04c917d..8e3a09e 100644 --- a/src/uigtk2.ml +++ b/src/uigtk2.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/uigtk2.ml $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uigtk2.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common open Lwt diff --git a/src/uigtk2.mli b/src/uigtk2.mli index 6dbbdad..8ee01a6 100644 --- a/src/uigtk2.mli +++ b/src/uigtk2.mli @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/uigtk2.mli $ *) -(* $I2: Last modified by bcpierce on Wed, 21 May 2003 22:02:54 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uigtk2.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) module Body : Uicommon.UI diff --git a/src/uitext.ml b/src/uitext.ml index a6a0bd0..42d06f2 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/uitext.ml $ *) -(* $I2: Last modified by bcpierce on Sat, 27 Nov 2004 09:22:40 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uitext.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common open Lwt diff --git a/src/uitext.mli b/src/uitext.mli index 86d3d0d..0e7c968 100644 --- a/src/uitext.mli +++ b/src/uitext.mli @@ -1,5 +1,5 @@ -(* $I1: Unison file synchronizer: src/uitext.mli $ *) -(* $I2: Last modified by bcpierce on Mon, 19 Jul 1999 18:14:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uitext.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) module Body : Uicommon.UI diff --git a/src/update.ml b/src/update.ml index 7d75ff5..bda18f1 100644 --- a/src/update.ml +++ b/src/update.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/update.ml $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/update.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) open Common let (>>=) = Lwt.(>>=) diff --git a/src/update.mli b/src/update.mli index 3165433..d77ad6f 100644 --- a/src/update.mli +++ b/src/update.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/update.mli $ *) -(* $I2: Last modified by tjim on Tue, 14 Sep 2004 11:51:02 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/update.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) module NameMap : Map.S with type key = Name.t diff --git a/src/uutil.ml b/src/uutil.ml index acace3d..bad796f 100644 --- a/src/uutil.ml +++ b/src/uutil.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/uutil.ml $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uutil.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (*****************************************************************************) (* Unison name and version *) diff --git a/src/uutil.mli b/src/uutil.mli index 593eaf2..104c953 100644 --- a/src/uutil.mli +++ b/src/uutil.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/uutil.mli $ *) -(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/uutil.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* This module collects a number of low-level, Unison-specific utility functions. It is kept separate from the Util module so that that module diff --git a/src/xferhint.ml b/src/xferhint.ml index 82fc208..af8b36d 100644 --- a/src/xferhint.ml +++ b/src/xferhint.ml @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/xferhint.ml $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/xferhint.ml *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) let debug = Trace.debug "xferhint" diff --git a/src/xferhint.mli b/src/xferhint.mli index f152e4c..a5b7675 100644 --- a/src/xferhint.mli +++ b/src/xferhint.mli @@ -1,6 +1,6 @@ -(* $I1: Unison file synchronizer: src/xferhint.mli $ *) -(* $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ *) -(* $I3: Copyright 1999-2004 (see COPYING for details) $ *) +(* Unison file synchronizer: src/xferhint.mli *) +(* $Id: $ *) +(* Copyright 1999-2006 (see COPYING for details) *) (* This module maintains a cache that can be used to map an Os.fingerprint to a (Fspath.t * Path.t) naming a file that *may* |