diff options
Diffstat (limited to 'src/ubase')
| -rw-r--r-- | src/ubase/proplist.ml | 2 | ||||
| -rw-r--r-- | src/ubase/proplist.mli | 2 | ||||
| -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 |
11 files changed, 11 insertions, 11 deletions
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 *) |