diff options
| author | Benjamin Pierce <bcpierce00@gmail.com> | 2017-10-15 12:35:14 -0400 |
|---|---|---|
| committer | Benjamin Pierce <bcpierce00@gmail.com> | 2017-10-15 12:35:14 -0400 |
| commit | d62761d7c8a9f68d5c4c39b70ac8ab1ecbfb47d2 (patch) | |
| tree | ad354f0d65fb7501395b38935c602c93f0c7612c | |
| parent | 65cee1bd0daf986293725727f617cf3990092d3d (diff) | |
| download | unison-d62761d7c8a9f68d5c4c39b70ac8ab1ecbfb47d2.zip unison-d62761d7c8a9f68d5c4c39b70ac8ab1ecbfb47d2.tar.gz unison-d62761d7c8a9f68d5c4c39b70ac8ab1ecbfb47d2.tar.bz2 | |
Tidy up change log and copyright dates
108 files changed, 122 insertions, 111 deletions
diff --git a/doc/changes.tex b/doc/changes.tex index 3fe5150..3eddf5a 100644 --- a/doc/changes.tex +++ b/doc/changes.tex @@ -1,3 +1,15 @@ +\begin{changesfromversion}{2.48} +\item Repository moved to GitHub (\URL{https://github.com/bcpierce00/unison}). +\item Miscellaneous: +\begin{itemize} +\item The OCaml compiler version is now included in the ``connection header +--- the string that's printed when connecting to a remote server --- to +facilitate debugging version mismatch issues. +\item Added a DockerFile for the convenience of Docker users. +\item Many small bugfixes and UI improvements. +\end{itemize} +\end{changesfromversion} + \begin{changesfromversion}{2.45} \item Incorporated a patch from Christopher Zimmermann to replace the Uprintf module (which doesn't work with OCaml 4.02, causing Unison to crash) with equivalent diff --git a/src/Makefile b/src/Makefile index ed13f29..e32ad6d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,7 +1,7 @@ ####################################################################### # $I1: Unison file synchronizer: src/Makefile $ # $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ -# $I3: Copyright 1999-2004 (see COPYING for details) $ +# $I3: Copyright 1999-2017 (see COPYING for details) $ ####################################################################### ## User Settings diff --git a/src/Makefile.ProjectInfo b/src/Makefile.ProjectInfo index f1c21da..9b1301d 100644 --- a/src/Makefile.ProjectInfo +++ b/src/Makefile.ProjectInfo @@ -1,3 +1,3 @@ -MAJORVERSION=2.50 -VERSION=2.50.0 +MAJORVERSION=2.51 +VERSION=2.51.0 NAME=unison diff --git a/src/abort.ml b/src/abort.ml index dc5fe6b..cd4e74b 100644 --- a/src/abort.ml +++ b/src/abort.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/abort.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/bytearray.ml b/src/bytearray.ml index 60f5dcf..6b3bc83 100644 --- a/src/bytearray.ml +++ b/src/bytearray.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/bytearray.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/bytearray.mli b/src/bytearray.mli index 98e954f..4068713 100644 --- a/src/bytearray.mli +++ b/src/bytearray.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/bytearray.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) type t = (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t diff --git a/src/bytearray_stubs.c b/src/bytearray_stubs.c index e64a6ab..b3e345f 100644 --- a/src/bytearray_stubs.c +++ b/src/bytearray_stubs.c @@ -1,5 +1,5 @@ /* Unison file synchronizer: src/bytearray_stubs.c */ -/* Copyright 1999-2016 (see COPYING for details) */ +/* Copyright 1999-2017 (see COPYING for details) */ #include <string.h> diff --git a/src/case.ml b/src/case.ml index 3ba41e9..95492a2 100644 --- a/src/case.ml +++ b/src/case.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/case.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/case.mli b/src/case.mli index 2c048e6..81cf27f 100644 --- a/src/case.mli +++ b/src/case.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/case.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) val caseInsensitiveMode : [`True|`False|`Default] Prefs.t val unicodeEncoding : bool Prefs.t diff --git a/src/checksum.ml b/src/checksum.ml index ac062c3..0e4ae01 100644 --- a/src/checksum.ml +++ b/src/checksum.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/checksum.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/checksum.mli b/src/checksum.mli index b8f74a9..a86b147 100644 --- a/src/checksum.mli +++ b/src/checksum.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/checksum.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) type t = int type u = int array diff --git a/src/clroot.ml b/src/clroot.ml index bef2b4a..89acdb2 100644 --- a/src/clroot.ml +++ b/src/clroot.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/clroot.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/clroot.mli b/src/clroot.mli index 3bebf1b..0140801 100644 --- a/src/clroot.mli +++ b/src/clroot.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/clroot.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Command-line roots *) type clroot = diff --git a/src/common.ml b/src/common.ml index 513e6fd..d73f618 100644 --- a/src/common.ml +++ b/src/common.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/common.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/common.mli b/src/common.mli index b97d2e5..d523bef 100644 --- a/src/common.mli +++ b/src/common.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/common.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (***************************************************************************) (* COMMON TYPES USED BY ALL MODULES *) diff --git a/src/copy.ml b/src/copy.ml index 19c2370..4068dac 100644 --- a/src/copy.ml +++ b/src/copy.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/copy.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/external.ml b/src/external.ml index 41a51d9..586c6e7 100644 --- a/src/external.ml +++ b/src/external.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/external.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/external.mli b/src/external.mli index 642b962..0a14a23 100644 --- a/src/external.mli +++ b/src/external.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/external.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) val runExternalProgram : string -> (Unix.process_status * string) Lwt.t val readChannelTillEof : in_channel -> string diff --git a/src/fileinfo.ml b/src/fileinfo.ml index a994de1..2653975 100644 --- a/src/fileinfo.ml +++ b/src/fileinfo.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fileinfo.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fileinfo.mli b/src/fileinfo.mli index 7240cdb..24f66f5 100644 --- a/src/fileinfo.mli +++ b/src/fileinfo.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fileinfo.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 ad6496a..5c0edff 100644 --- a/src/files.ml +++ b/src/files.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/files.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/files.mli b/src/files.mli index 1f17f92..d606c5d 100644 --- a/src/files.mli +++ b/src/files.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/files.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 ddff30b..0f02731 100644 --- a/src/fileutil.ml +++ b/src/fileutil.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fileutil.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fileutil.mli b/src/fileutil.mli index 17b45ce..2216864 100644 --- a/src/fileutil.mli +++ b/src/fileutil.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fileutil.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Convert backslashes in a string to forward slashes. Useful in Windows. *) val backslashes2forwardslashes : string -> string diff --git a/src/fingerprint.ml b/src/fingerprint.ml index cb03c44..ce384a5 100644 --- a/src/fingerprint.ml +++ b/src/fingerprint.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fingerprint.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fingerprint.mli b/src/fingerprint.mli index 5d6c152..d681cde 100644 --- a/src/fingerprint.mli +++ b/src/fingerprint.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fingerprint.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) type t diff --git a/src/fpcache.ml b/src/fpcache.ml index d3fce4f..18e6061 100644 --- a/src/fpcache.ml +++ b/src/fpcache.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fpcache.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fpcache.mli b/src/fpcache.mli index d232fb9..766700a 100644 --- a/src/fpcache.mli +++ b/src/fpcache.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fpcache.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Initialize the cache *) val init : bool -> bool -> System.fspath -> unit @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fs.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fs.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Operations on fspaths *) diff --git a/src/fspath.ml b/src/fspath.ml index fc06877..01573ac 100644 --- a/src/fspath.ml +++ b/src/fspath.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fspath.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fspath.mli b/src/fspath.mli index 4e3d518..ae4491a 100644 --- a/src/fspath.mli +++ b/src/fspath.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fspath.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Defines an abstract type of absolute filenames (fspaths) *) diff --git a/src/fswatch.ml b/src/fswatch.ml index 9d46a6f..64ee9d0 100644 --- a/src/fswatch.ml +++ b/src/fswatch.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fswatch.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fswatch.mli b/src/fswatch.mli index 8ca64ff..fe4ac85 100644 --- a/src/fswatch.mli +++ b/src/fswatch.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fswatch.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) type archiveHash = string diff --git a/src/fswatchold.ml b/src/fswatchold.ml index 36a1ad7..b071ce5 100644 --- a/src/fswatchold.ml +++ b/src/fswatchold.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fswatcherold.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/globals.ml b/src/globals.ml index eb5b057..048e72b 100644 --- a/src/globals.ml +++ b/src/globals.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/globals.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/globals.mli b/src/globals.mli index 3d9a47d..553c542 100644 --- a/src/globals.mli +++ b/src/globals.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/globals.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 c96f2f2..1152f87 100644 --- a/src/linkgtk.ml +++ b/src/linkgtk.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/linkgtk.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/linkgtk2.ml b/src/linkgtk2.ml index 5223799..984ad60 100644 --- a/src/linkgtk2.ml +++ b/src/linkgtk2.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/linkgtk2.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/linktext.ml b/src/linktext.ml index 2a86f92..3cdf540 100644 --- a/src/linktext.ml +++ b/src/linktext.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/linktext.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/lock.ml b/src/lock.ml index 89a22d8..8c27fcf 100644 --- a/src/lock.ml +++ b/src/lock.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/lock.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/lock.mli b/src/lock.mli index 96310f5..03af2b1 100644 --- a/src/lock.mli +++ b/src/lock.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/lock.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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/depend b/src/lwt/depend index b361eab..cf0dfde 100644 --- a/src/lwt/depend +++ b/src/lwt/depend @@ -1,12 +1,12 @@ lwt.cmo : lwt.cmi lwt.cmx : lwt.cmi +lwt.cmi : lwt_unix.cmo : lwt_unix.cmi lwt_unix.cmx : lwt_unix.cmi +lwt_unix.cmi : lwt.cmi lwt_util.cmo : lwt.cmi lwt_util.cmi lwt_util.cmx : lwt.cmx lwt_util.cmi +lwt_util.cmi : lwt.cmi pqueue.cmo : pqueue.cmi pqueue.cmx : pqueue.cmi -lwt.cmi : -lwt_unix.cmi : lwt.cmi -lwt_util.cmi : lwt.cmi pqueue.cmi : diff --git a/src/lwt/pqueue.ml b/src/lwt/pqueue.ml index e83fed8..7de719d 100644 --- a/src/lwt/pqueue.ml +++ b/src/lwt/pqueue.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/lwt/pqueue.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/lwt/pqueue.mli b/src/lwt/pqueue.mli index 47f0ead..51a24b9 100644 --- a/src/lwt/pqueue.mli +++ b/src/lwt/pqueue.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/lwt/pqueue.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) module type OrderedType = sig diff --git a/src/main.ml b/src/main.ml index ad436a5..2286e99 100644 --- a/src/main.ml +++ b/src/main.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/main.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/name.ml b/src/name.ml index d13ca27..125fd6a 100644 --- a/src/name.ml +++ b/src/name.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/name.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/name.mli b/src/name.mli index 6bb26e7..d9ed4b3 100644 --- a/src/name.mli +++ b/src/name.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/name.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) type t @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/os.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/os.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) val myCanonicalHostName : unit -> string @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/osx.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/osx.mli b/src/osx.mli index 4c8f10a..e259d01 100644 --- a/src/osx.mli +++ b/src/osx.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/osx.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) val init : bool -> unit val isMacOSX : bool diff --git a/src/path.ml b/src/path.ml index 96657f2..800ed65 100644 --- a/src/path.ml +++ b/src/path.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/path.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/path.mli b/src/path.mli index 48788ca..483f861 100644 --- a/src/path.mli +++ b/src/path.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/path.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Abstract type of relative pathnames *) type 'a path diff --git a/src/pixmaps.ml b/src/pixmaps.ml index 0713104..6b4444f 100644 --- a/src/pixmaps.ml +++ b/src/pixmaps.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/pixmaps.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/pred.ml b/src/pred.ml index 74be2bf..400a457 100644 --- a/src/pred.ml +++ b/src/pred.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/pred.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/pred.mli b/src/pred.mli index c5c567f..092bbe0 100644 --- a/src/pred.mli +++ b/src/pred.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/pred.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Predicates over paths. diff --git a/src/props.ml b/src/props.ml index 3956c9e..4b82c07 100644 --- a/src/props.ml +++ b/src/props.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/props.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/props.mli b/src/props.mli index bf3eba5..e9e3ac9 100644 --- a/src/props.mli +++ b/src/props.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/props.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* File properties: time, permission, length, etc. *) diff --git a/src/recon.ml b/src/recon.ml index a7c2fb8..0b41e51 100644 --- a/src/recon.ml +++ b/src/recon.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/recon.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/recon.mli b/src/recon.mli index 49ae8bd..09258e9 100644 --- a/src/recon.mli +++ b/src/recon.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/recon.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) val reconcileAll : ?allowPartial:bool (* whether we allow partial synchronization diff --git a/src/remote.ml b/src/remote.ml index aff40eb..ddca0d7 100644 --- a/src/remote.ml +++ b/src/remote.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/remote.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/remote.mli b/src/remote.mli index 0e9b328..f1358c2 100644 --- a/src/remote.mli +++ b/src/remote.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/remote.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 a744e40..9274963 100644 --- a/src/sortri.ml +++ b/src/sortri.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/sortri.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/sortri.mli b/src/sortri.mli index de084d7..f6663db 100644 --- a/src/sortri.mli +++ b/src/sortri.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/sortri.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 6ab9d00..cfc7185 100644 --- a/src/stasher.ml +++ b/src/stasher.ml @@ -1,6 +1,6 @@ (* Unison file synchronizer: src/stasher.ml *) (* $I2: Last modified by lescuyer *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/stasher.mli b/src/stasher.mli index c6fba91..eee4a70 100644 --- a/src/stasher.mli +++ b/src/stasher.mli @@ -1,6 +1,5 @@ (* Unison file synchronizer: src/stasher.mli *) -(* $I2: Last modified by lescuyer on *) -(* $I3: Copyright 1999-2005 (see COPYING for details) $ *) +(* Copyright 1999-2017 (see COPYING for details) *) (* This module maintains backups for general purpose and *) (* as archives for mergeable files. *) diff --git a/src/strings.mli b/src/strings.mli index f38e5be..b39cddf 100644 --- a/src/strings.mli +++ b/src/strings.mli @@ -1,4 +1,4 @@ (* Unison file synchronizer: src/strings.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) val docs : (string * (string * string)) list diff --git a/src/system.ml b/src/system.ml index 05cfa54..d5b9474 100644 --- a/src/system.ml +++ b/src/system.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/system.mli b/src/system.mli index ab8cf1a..600dc4b 100644 --- a/src/system.mli +++ b/src/system.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Operations on filesystem path *) diff --git a/src/system/system_generic.ml b/src/system/system_generic.ml index b9a4cef..648bbf9 100755 --- a/src/system/system_generic.ml +++ b/src/system/system_generic.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system/system_generic.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/system/system_intf.ml b/src/system/system_intf.ml index 0575492..9c375e5 100644 --- a/src/system/system_intf.ml +++ b/src/system/system_intf.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system/system_intf.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/system/system_win.ml b/src/system/system_win.ml index db294ab..0701dcb 100755 --- a/src/system/system_win.ml +++ b/src/system/system_win.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system/system_win.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/terminal.ml b/src/terminal.ml index ea8f849..9ac465f 100644 --- a/src/terminal.ml +++ b/src/terminal.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/terminal.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/test.ml b/src/test.ml index 87fd9a9..e64755e 100644 --- a/src/test.ml +++ b/src/test.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/test.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/test.mli b/src/test.mli index be7f383..259a339 100644 --- a/src/test.mli +++ b/src/test.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/test.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Internal self-tests *) diff --git a/src/transfer.ml b/src/transfer.ml index a0305bf..80b47ea 100644 --- a/src/transfer.ml +++ b/src/transfer.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/transfer.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/transfer.mli b/src/transfer.mli index d482d6b..54e748f 100644 --- a/src/transfer.mli +++ b/src/transfer.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/transfer.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Rsync : general algorithm description diff --git a/src/transport.ml b/src/transport.ml index 039d8c3..3cd836a 100644 --- a/src/transport.ml +++ b/src/transport.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/transport.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/transport.mli b/src/transport.mli index 12ff68e..3c28b41 100644 --- a/src/transport.mli +++ b/src/transport.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/transport.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 d8d933f..ae10cbb 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/tree.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/tree.mli b/src/tree.mli index 593a172..7407419 100644 --- a/src/tree.mli +++ b/src/tree.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/tree.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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/proplist.ml b/src/ubase/proplist.ml index fb3a037..f75ecf7 100644 --- a/src/ubase/proplist.ml +++ b/src/ubase/proplist.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/proplist.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/proplist.mli b/src/ubase/proplist.mli index cf15fe6..585c6e3 100644 --- a/src/ubase/proplist.mli +++ b/src/ubase/proplist.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/proplist.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) type 'a key type t diff --git a/src/ubase/rx.ml b/src/ubase/rx.ml index f774e58..290bfb1 100644 --- a/src/ubase/rx.ml +++ b/src/ubase/rx.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/rx.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/rx.mli b/src/ubase/rx.mli index 73a6959..8825ee9 100644 --- a/src/ubase/rx.mli +++ b/src/ubase/rx.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/rx.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) type t diff --git a/src/ubase/safelist.ml b/src/ubase/safelist.ml index 4a88b18..e6f0b53 100644 --- a/src/ubase/safelist.ml +++ b/src/ubase/safelist.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/safelist.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/safelist.mli b/src/ubase/safelist.mli index 581af72..a771189 100644 --- a/src/ubase/safelist.mli +++ b/src/ubase/safelist.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/safelist.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 3584bab..36f2dc1 100644 --- a/src/ubase/trace.ml +++ b/src/ubase/trace.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/trace.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/trace.mli b/src/ubase/trace.mli index 996f3a4..4b83b2e 100644 --- a/src/ubase/trace.mli +++ b/src/ubase/trace.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/trace.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* ---------------------------------------------------------------------- *) (* Debugging support *) diff --git a/src/ubase/uarg.ml b/src/ubase/uarg.ml index eccaf49..9c643ef 100644 --- a/src/ubase/uarg.ml +++ b/src/ubase/uarg.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/uarg.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 ba8aa03..7376799 100644 --- a/src/ubase/util.ml +++ b/src/ubase/util.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/util.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/util.mli b/src/ubase/util.mli index 103e10c..d4bd8f7 100644 --- a/src/ubase/util.mli +++ b/src/ubase/util.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/util.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Miscellaneous utility functions and datatypes *) @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ui.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 16af812..1418477 100644 --- a/src/uicommon.ml +++ b/src/uicommon.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uicommon.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/uicommon.mli b/src/uicommon.mli index 5acf2df..bfad7a7 100644 --- a/src/uicommon.mli +++ b/src/uicommon.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uicommon.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* Kinds of UI *) type interface = diff --git a/src/uigtk2.ml b/src/uigtk2.ml index fc190a1..6af53f7 100644 --- a/src/uigtk2.ml +++ b/src/uigtk2.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uigtk2.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/uigtk2.mli b/src/uigtk2.mli index 74a3461..b4f757d 100644 --- a/src/uigtk2.mli +++ b/src/uigtk2.mli @@ -1,4 +1,4 @@ (* Unison file synchronizer: src/uigtk2.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) module Body : Uicommon.UI diff --git a/src/uitext.ml b/src/uitext.ml index a53d300..6463c32 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uitext.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/uitext.mli b/src/uitext.mli index b0b5889..241e7a6 100644 --- a/src/uitext.mli +++ b/src/uitext.mli @@ -1,4 +1,4 @@ (* Unison file synchronizer: src/uitext.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) module Body : Uicommon.UI diff --git a/src/unicode.ml b/src/unicode.ml index cfa4d58..c392105 100644 --- a/src/unicode.ml +++ b/src/unicode.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/unicode.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/unicode.mli b/src/unicode.mli index 4c519c1..5cd8f45 100644 --- a/src/unicode.mli +++ b/src/unicode.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/unicode.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) exception Invalid diff --git a/src/update.ml b/src/update.ml index b8bf0cc..fc5add8 100644 --- a/src/update.ml +++ b/src/update.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/update.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/update.mli b/src/update.mli index 80f1e2e..d20bf9c 100644 --- a/src/update.mli +++ b/src/update.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/update.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) module NameMap : MyMap.S with type key = Name.t diff --git a/src/uutil.ml b/src/uutil.ml index 5901ccb..9d930dc 100644 --- a/src/uutil.ml +++ b/src/uutil.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uutil.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/uutil.mli b/src/uutil.mli index d88aead..937cf2e 100644 --- a/src/uutil.mli +++ b/src/uutil.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uutil.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (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 613b22a..37da243 100644 --- a/src/xferhint.ml +++ b/src/xferhint.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/xferhint.ml *) -(* Copyright 1999-2016, Benjamin C. Pierce +(* Copyright 1999-2017, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/xferhint.mli b/src/xferhint.mli index 393b4e0..822d57d 100644 --- a/src/xferhint.mli +++ b/src/xferhint.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/xferhint.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* This module maintains a cache that can be used to map an Os.fullfingerprint to a (Fspath.t * Path.t) naming a file that *may* |