diff options
Diffstat (limited to 'src/ubase')
| -rw-r--r-- | src/ubase/rx.ml | 2 | ||||
| -rw-r--r-- | src/ubase/rx.mli | 2 | ||||
| -rw-r--r-- | src/ubase/safelist.ml | 2 | ||||
| -rw-r--r-- | src/ubase/safelist.mli | 2 | ||||
| -rw-r--r-- | src/ubase/trace.ml | 2 | ||||
| -rw-r--r-- | src/ubase/trace.mli | 2 | ||||
| -rw-r--r-- | src/ubase/uarg.ml | 2 | ||||
| -rw-r--r-- | src/ubase/util.ml | 2 | ||||
| -rw-r--r-- | src/ubase/util.mli | 2 |
9 files changed, 9 insertions, 9 deletions
diff --git a/src/ubase/rx.ml b/src/ubase/rx.ml index 24ac3c1..503f9e0 100644 --- a/src/ubase/rx.ml +++ b/src/ubase/rx.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/rx.ml *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (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 ece4233..4705570 100644 --- a/src/ubase/rx.mli +++ b/src/ubase/rx.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/rx.mli *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (see COPYING for details) *) type t diff --git a/src/ubase/safelist.ml b/src/ubase/safelist.ml index 78bfc88..90ea10a 100644 --- a/src/ubase/safelist.ml +++ b/src/ubase/safelist.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/safelist.ml *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (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 738984e..4f7a15a 100644 --- a/src/ubase/safelist.mli +++ b/src/ubase/safelist.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/safelist.mli *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (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 936ba5b..a4bc904 100644 --- a/src/ubase/trace.ml +++ b/src/ubase/trace.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/trace.ml *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (see COPYING for details) *) (* ---------------------------------------------------------------------- *) (* Choosing where messages go *) diff --git a/src/ubase/trace.mli b/src/ubase/trace.mli index f0a9eea..124aad5 100644 --- a/src/ubase/trace.mli +++ b/src/ubase/trace.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/trace.mli *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (see COPYING for details) *) (* ---------------------------------------------------------------------- *) (* Debugging support *) diff --git a/src/ubase/uarg.ml b/src/ubase/uarg.ml index 1bd9ce4..a47f767 100644 --- a/src/ubase/uarg.ml +++ b/src/ubase/uarg.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/uarg.ml *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (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 53c0e27..912ceb7 100644 --- a/src/ubase/util.ml +++ b/src/ubase/util.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/util.ml *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (see COPYING for details) *) (*****************************************************************************) (* CASE INSENSITIVE COMPARISON *) diff --git a/src/ubase/util.mli b/src/ubase/util.mli index 1e91f26..d286b32 100644 --- a/src/ubase/util.mli +++ b/src/ubase/util.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/util.mli *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (see COPYING for details) *) (* Miscellaneous utility functions and datatypes *) |