Updated copyright notice.

Ian D · Ian D · commit 8e48d9295d43 · 2014-02-27T20:33:57.000-05:00
diff --git a/src/aio.c b/src/aio.c
@@ -1,6 +1,6 @@
 /* The opening and saving functions.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/aio.h b/src/aio.h
@@ -1,6 +1,6 @@
 /* Functions and tags for opening and saving files.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/app.c b/src/app.c
@@ -1,6 +1,6 @@
 /* Functions for handling the application structure.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/app.h b/src/app.h
@@ -1,6 +1,6 @@
 /* Defines the app data structure.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/aris-proof.c b/src/aris-proof.c
@@ -1,6 +1,6 @@
 /*  Functions for handling the aris proof guis.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/aris-proof.h b/src/aris-proof.h
@@ -1,6 +1,6 @@
 /*  Contains the data backends for the aris GUI.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/aris.c b/src/aris.c
@@ -1,6 +1,6 @@
 /* The GNU Aris program.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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
@@ -157,7 +157,7 @@ void
 version ()
 {
   printf ("%s - %s\n", PACKAGE_NAME, VERSION);
-  printf ("Copyright (C) 2012, 2013 Ian Dunn.\n");
+  printf ("Copyright (C) 2012, 2013, 2014 Ian Dunn.\n");
   printf ("License GPLv3: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>\n");
   printf ("This is free software: you are free to change and redistribute it.\n");
   printf ("There is NO WARRANTY, to the extent premitted by the law.\n");
diff --git a/src/callbacks.c b/src/callbacks.c
@@ -1,6 +1,6 @@
 /* Functions to handle callbacks for Aris.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/callbacks.h b/src/callbacks.h
@@ -1,6 +1,6 @@
 /* The declarations of callback functions.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/conf-file.c b/src/conf-file.c
@@ -1,6 +1,6 @@
 /* Defines routines to read from the configuration file.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/conf-file.h b/src/conf-file.h
@@ -1,6 +1,6 @@
 /* Defines routines to read from the configuration file.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/goal.c b/src/goal.c
@@ -1,6 +1,6 @@
 /*  Functions to handle the goal structures.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/goal.h b/src/goal.h
@@ -1,6 +1,6 @@
 /*  Contains the data structure for the goal GUI.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/interop-isar.h b/src/interop-isar.h
@@ -1,6 +1,6 @@
 /* Functions and tags for opening and saving files.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/list.c b/src/list.c
@@ -1,6 +1,6 @@
 /*  Functions to handle the doubly-linked list structures.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/list.h b/src/list.h
@@ -1,6 +1,6 @@
 /*  The doubly-linked list structure.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/menu.c b/src/menu.c
@@ -1,6 +1,6 @@
 /* The construct_menu_item function.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/menu.h b/src/menu.h
@@ -1,6 +1,6 @@
 /*  Menu data types.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/pound.h b/src/pound.h
@@ -1,6 +1,6 @@
 /* Several convenient pound defines.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/process-main.c b/src/process-main.c
@@ -1,6 +1,6 @@
 /* Contains the main process function, from which the others are called.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/process.c b/src/process.c
@@ -1,6 +1,6 @@
 /* Processing functions used by all main process functions.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/process.h b/src/process.h
@@ -1,6 +1,6 @@
 /* Definitions of Aris' processing engine.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/proof.c b/src/proof.c
@@ -1,6 +1,6 @@
 /* Proof data type functions.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/proof.h b/src/proof.h
@@ -1,6 +1,6 @@
 /* Proof data type.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/rules-table.c b/src/rules-table.c
@@ -1,6 +1,6 @@
 /* Functions for handling the rules table.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/rules-table.h b/src/rules-table.h
@@ -1,6 +1,6 @@
 /* The rules table data type.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/rules.h b/src/rules.h
@@ -1,6 +1,6 @@
 /* The rules definitions.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sen-data.c b/src/sen-data.c
@@ -1,6 +1,6 @@
 /* Functions for handling sentence data.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sen-data.h b/src/sen-data.h
@@ -1,6 +1,6 @@
 /* The sentence data structure.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sen-parent.c b/src/sen-parent.c
@@ -1,6 +1,6 @@
 /* Functions for handling sentence parents.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sen-parent.h b/src/sen-parent.h
@@ -1,6 +1,6 @@
 /* The sentence parent data type.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sentence.c b/src/sentence.c
@@ -1,6 +1,6 @@
 /* Functions for handling the sentence structure.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sentence.h b/src/sentence.h
@@ -1,6 +1,6 @@
 /* The sentence structure.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sexpr-process-bool.c b/src/sexpr-process-bool.c
@@ -1,6 +1,6 @@
 /* Functions for processing boolean rules.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sexpr-process-equiv.c b/src/sexpr-process-equiv.c
@@ -1,6 +1,6 @@
 /* Functions for processing equivalence rules.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sexpr-process-infer.c b/src/sexpr-process-infer.c
@@ -1,6 +1,6 @@
 /* Functions for processing inference rules.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sexpr-process-misc.c b/src/sexpr-process-misc.c
@@ -1,6 +1,6 @@
 /* Functions for processing the miscellaneous rules.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sexpr-process-quant.c b/src/sexpr-process-quant.c
@@ -1,6 +1,6 @@
 /* Functions for processing quantifier rules.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sexpr-process.c b/src/sexpr-process.c
@@ -1,6 +1,6 @@
 /* Processing functions used by all sexpr processing functions.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/sexpr-process.h b/src/sexpr-process.h
@@ -1,6 +1,6 @@
 /* Definitions of aris' sexpr processing engine.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/typedef.h b/src/typedef.h
@@ -1,6 +1,6 @@
 /* Typedefs.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/undo.c b/src/undo.c
@@ -1,3 +1,22 @@
+/* Functions for handling undo and redo.
+
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
+
+   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
+   the Free Software Foundation, either version 3 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.
+*/
+
+
 #include <stdlib.h>
 #include <string.h>
 #include <stdio.h>
diff --git a/src/undo.h b/src/undo.h
@@ -1,6 +1,6 @@
-/*  Contains the data backends for the aris GUI.
+/* Contains the undo data type and function declarations.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/var.c b/src/var.c
@@ -1,6 +1,6 @@
 /* Functions for handling variables.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/var.h b/src/var.h
@@ -1,6 +1,6 @@
 /* The variable data type.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/vec.c b/src/vec.c
@@ -1,6 +1,6 @@
 /* Functions for the vector data type.
 
-   Copyright (C) 2012, 2013 Ian Dunn.
+   Copyright (C) 2012, 2013, 2014 Ian Dunn.
 
    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/vec.h b/src/vec.h
