copyright notice update

47 files changed, 58 insertions, 58 deletions

diff --git a/NEWS b/NEWS
index 487ae51..b3ea3bb 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 GNU MDK -- History of visible changes.
 
-Copyright (C) 2000, 2001, jose antonio ortega ruiz <jaortega@acm.org>
+Copyright (C) 2000, 2001, Free Software Foundation, Inc.
 See the end for copying conditions.
 
 Please send mdk bug reports to jaortega@acm.org.
@@ -55,7 +55,7 @@ Please send mdk bug reports to jaortega@acm.org.
 -------------------------------------------------------
 Copying information:
 
-Copyright (C) 2000, jose antonio ortega ruiz <jaortega@acm.org>
+Copyright (C) 2000, Free Software Foundation, Inc.
 
    Permission is granted to anyone to make or distribute verbatim copies
    of this document as received, in any medium, provided that the
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 754ab11..fefea7d 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,6 +1,6 @@
 ## Process this file with automake to produce Makefile.in
 
-# Copyright (C) 2000 jose antonio ortega ruiz <jaortega@retemail.es>
+# Copyright (C) 2000 Free Software Foundation, Inc.
 #  
 # This file is free software; as a special exception the author gives
 # unlimited permission to copy and/or distribute it, with or without 
diff --git a/doc/mdk.texi b/doc/mdk.texi
index 5f7941e..ade349a 100644
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -14,7 +14,7 @@
 This file documents the the @sc{mdk} utilities for developing
 programs using Donald Knuth's MIX language.
 
-Copyright (C) 2000, 2001 @value{JAO}
+Copyright (C) 2000, 2001 Free Software Foundation, Inc.
 
 Permission is granted to make and distribute verbatim copies of
 this manual provided the copyright notice and this permission notice
@@ -49,7 +49,7 @@ approved by the Free Software Foundation.
 
 @page
 @vskip 0pt plus 1filll
-Copyright @copyright{} 2000, 2001 @value{JAO}
+Copyright @copyright{} 2000, 2001 Free Software Foundation, Inc.
 
 Permission is granted to make and distribute verbatim copies of
 this manual provided the copyright notice and this permission notice
diff --git a/mixlib/Makefile.am b/mixlib/Makefile.am
index fe1433d..25269bb 100644
--- a/mixlib/Makefile.am
+++ b/mixlib/Makefile.am
@@ -1,6 +1,6 @@
 ## Process this file with automake to produce Makefile.in
 
-# Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+# Copyright (C) 2000 Free Software Foundation, Inc.
 #  
 # This file is free software; as a special exception the author gives
 # unlimited permission to copy and/or distribute it, with or without 
diff --git a/mixlib/mix.c b/mixlib/mix.c
index 14e4c13..db41bf2 100644
--- a/mixlib/mix.c
+++ b/mixlib/mix.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mix.c :
  * Implementation of the functions declared in mix.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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
@@ -48,7 +48,7 @@ mix_release_lib (void)
 }
 
 const char *MIX_GPL_LICENSE = 
-"Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>\n" 
+"Copyright (C) 2000 Free Software Foundation, Inc.\n" 
 "This program is free software; you can redistribute it and/or modify\n"
 "it under the terms of the GNU General Public License as published by\n"
 "the Free Software Foundation; either version 2 of the License, or\n"
diff --git a/mixlib/mix.h b/mixlib/mix.h
index a75bbcd..42eb4c9 100644
--- a/mixlib/mix.h
+++ b/mixlib/mix.h
@@ -1,7 +1,7 @@
 /* -*-c-*- ---------------- mix.h :
  * Initialisation of the mix library
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_code_file.c b/mixlib/mix_code_file.c
index c290150..604f3cd 100644
--- a/mixlib/mix_code_file.c
+++ b/mixlib/mix_code_file.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mix_code_file.c :
  * Implementation of the functions declared in mix_code_file.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_code_file.h b/mixlib/mix_code_file.h
index 525ebc3..0678910 100644
--- a/mixlib/mix_code_file.h
+++ b/mixlib/mix_code_file.h
@@ -2,7 +2,7 @@
  * Declaration of mix_code_file_t, a file containing compiled mix 
  * instructions.
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_device.c b/mixlib/mix_device.c
index 80e6ca8..624702b 100644
--- a/mixlib/mix_device.c
+++ b/mixlib/mix_device.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mix_device.c :
  * Implementation of the functions declared in mix_device.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_device.h b/mixlib/mix_device.h
index c2e7edf..73f16af 100644
--- a/mixlib/mix_device.h
+++ b/mixlib/mix_device.h
@@ -1,7 +1,7 @@
 /* -*-c-*- ---------------- mix_device.h :
  * Declaration of mix_device_t and associated methods.
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_eval.c b/mixlib/mix_eval.c
index 0aadd6b..b629852 100644
--- a/mixlib/mix_eval.c
+++ b/mixlib/mix_eval.c
@@ -1,9 +1,9 @@
 /* -*-c-*- -------------- mix_eval.c :
  * Implementation of the functions declared in mix_eval.h
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: "00/12/09 00:35:35 jose"
+ *  Last change: Time-stamp: "01/02/20 00:23:58 jose"
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_eval.h b/mixlib/mix_eval.h
index 3ecfabb..a7f961f 100644
--- a/mixlib/mix_eval.h
+++ b/mixlib/mix_eval.h
@@ -1,9 +1,9 @@
 /* -*-c-*- ---------------- mix_eval.h :
  * mix_eval_t is an evaluator of MIX W-expressions
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: <00/12/09 00:34:29 jose>
+ *  Last change: Time-stamp: <01/02/20 00:23:58 jose>
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_eval_scanner.l b/mixlib/mix_eval_scanner.l
index 055eb79..abf1879 100644
--- a/mixlib/mix_eval_scanner.l
+++ b/mixlib/mix_eval_scanner.l
@@ -1,9 +1,9 @@
 /* -*-c-*- ------------------ mix_eval_scanner.l :
  * scanner used by mix_eval_t
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: <00/12/30 03:39:59 jose>
+ *  Last change: Time-stamp: <01/02/20 00:23:58 jose>
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_ins.c b/mixlib/mix_ins.c
index 204db6d..2c5df08 100644
--- a/mixlib/mix_ins.c
+++ b/mixlib/mix_ins.c
@@ -1,7 +1,7 @@
 /* -*-c-*- ------------------ mix_ins.c :
  * Implementation of the functions declared in mix_ins.h
  * ------------------------------------------------------------------
- * Copyright (C) 1999 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 1999 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_ins.h b/mixlib/mix_ins.h
index 065b342..7746e8c 100644
--- a/mixlib/mix_ins.h
+++ b/mixlib/mix_ins.h
@@ -2,7 +2,7 @@
  * This file declares types and functions for manipulating MIX
  * instructions
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_io.c b/mixlib/mix_io.c
index ef8ff34..704a5c0 100644
--- a/mixlib/mix_io.c
+++ b/mixlib/mix_io.c
@@ -1,7 +1,7 @@
 /* -*-c-*- --------------- mix_io.c :
  * Implementation of the functions declared in mix_io.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_io.h b/mixlib/mix_io.h
index f153398..a63bda6 100644
--- a/mixlib/mix_io.h
+++ b/mixlib/mix_io.h
@@ -1,7 +1,7 @@
 /* -*-c-*- ------------------ mix_io.h :
  * Declarations for mix_iochannel_t and mix_file_t
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_parser.c b/mixlib/mix_parser.c
index 13df539..6a58f3e 100644
--- a/mixlib/mix_parser.c
+++ b/mixlib/mix_parser.c
@@ -2,7 +2,7 @@
  * Implementation of the functions declared in mix_parser.h and 
  * xmix_parser.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_parser.h b/mixlib/mix_parser.h
index cd1a047..f371430 100644
--- a/mixlib/mix_parser.h
+++ b/mixlib/mix_parser.h
@@ -2,7 +2,7 @@
  * Declarations for mix_parser_t, which compiles a source file into
  * a mix code file.
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_scanner.l b/mixlib/mix_scanner.l
index 4a6c1a3..f961fe6 100644
--- a/mixlib/mix_scanner.l
+++ b/mixlib/mix_scanner.l
@@ -1,7 +1,7 @@
 /* ------------------ mix_scanner.l :
  * Lexical scanner used by mix_parser_t
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_src_file.h b/mixlib/mix_src_file.h
index 8f46111..1392df2 100644
--- a/mixlib/mix_src_file.h
+++ b/mixlib/mix_src_file.h
@@ -2,9 +2,9 @@
  * Declaration of mix_src_file_t, a type representing a MIXAL source
  * file.
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: <00/12/16 15:06:57 jose>
+ *  Last change: Time-stamp: <01/02/20 00:23:58 jose>
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_symbol_table.c b/mixlib/mix_symbol_table.c
index 1e08f2a..33874ea 100644
--- a/mixlib/mix_symbol_table.c
+++ b/mixlib/mix_symbol_table.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mix_symbol_table.c :
  * Implementation of the functions declared in mix_symbol_table.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_symbol_table.h b/mixlib/mix_symbol_table.h
index 9837ee0..4a22444 100644
--- a/mixlib/mix_symbol_table.h
+++ b/mixlib/mix_symbol_table.h
@@ -1,7 +1,7 @@
 /* -*-c-*- ---------------- mix_symbol_table.h :
  * Type mix_symbol_table_t and functions to manipulate it.
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_types.c b/mixlib/mix_types.c
index 32b505f..06f926f 100644
--- a/mixlib/mix_types.c
+++ b/mixlib/mix_types.c
@@ -1,7 +1,7 @@
 /* -*-c-*- ------------------ mix_types.c :
  *  Implementation file for mix_types.h declarations.
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_types.h b/mixlib/mix_types.h
index a011d18..d706de1 100644
--- a/mixlib/mix_types.h
+++ b/mixlib/mix_types.h
@@ -2,7 +2,7 @@
  *  This file contains declarations for the basic types used in MIX:
  *   mix_byte_t, mix_char_t, mix_short_t and mix_word_t.
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_vm_clock.c b/mixlib/mix_vm_clock.c
index 0b1f3da..41e7116 100644
--- a/mixlib/mix_vm_clock.c
+++ b/mixlib/mix_vm_clock.c
@@ -1,9 +1,9 @@
 /* -*-c-*- -------------- mix_vm_clock.c :
  * Implementation of the functions declared in mix_vm_clock.h
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: "00/12/23 03:35:50 jose"
+ *  Last change: Time-stamp: "01/02/20 00:23:58 jose"
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_vm_clock.h b/mixlib/mix_vm_clock.h
index c283b71..706115e 100644
--- a/mixlib/mix_vm_clock.h
+++ b/mixlib/mix_vm_clock.h
@@ -1,9 +1,9 @@
 /* -*-c-*- ---------------- mix_vm_clock.h :
  * Declaration of mix_vm_clock_t, a clock for the MIX virtual machine.
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: <00/12/22 01:53:18 jose>
+ *  Last change: Time-stamp: <01/02/20 00:23:58 jose>
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/mix_vm_dump.c b/mixlib/mix_vm_dump.c
index c77e90b..2d773fc 100644
--- a/mixlib/mix_vm_dump.c
+++ b/mixlib/mix_vm_dump.c
@@ -1,7 +1,7 @@
 /* ---------------------- mix_vm_dump.c :
  * Implementation of the functions declared in mix_vm_dump.h
  * ------------------------------------------------------------------
-** Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+** Copyright (C) 2000 Free Software Foundation, Inc.
 **  
 ** 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/mixlib/mix_vm_dump.h b/mixlib/mix_vm_dump.h
index b854175..265a747 100644
--- a/mixlib/mix_vm_dump.h
+++ b/mixlib/mix_vm_dump.h
@@ -2,7 +2,7 @@
  * This file declares types and functions for dumping the contents
  * of a mix virtual machine.
  * ------------------------------------------------------------------
-** Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+** Copyright (C) 2000 Free Software Foundation, Inc.
 **  
 ** 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/mixlib/testsuite/Makefile.am b/mixlib/testsuite/Makefile.am
index 81ef11d..6e771c4 100644
--- a/mixlib/testsuite/Makefile.am
+++ b/mixlib/testsuite/Makefile.am
@@ -1,4 +1,4 @@
-# Copyright (C) 1999 jose antonio ortega ruiz <jaortega@acm.org>
+# Copyright (C) 1999 Free Software Foundation, Inc.
 #  
 # This file is free software; as a special exception the author gives
 # unlimited permission to copy and/or distribute it, with or without 
diff --git a/mixlib/testsuite/mix_device_t.c b/mixlib/testsuite/mix_device_t.c
index 0b3e066..da4c8f9 100644
--- a/mixlib/testsuite/mix_device_t.c
+++ b/mixlib/testsuite/mix_device_t.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mix_device_t.c :
  * Implementation of the functions declared in mix_device_t.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/testsuite/mix_eval_t.c b/mixlib/testsuite/mix_eval_t.c
index 7024fd4..83f9a5d 100644
--- a/mixlib/testsuite/mix_eval_t.c
+++ b/mixlib/testsuite/mix_eval_t.c
@@ -1,9 +1,9 @@
 /* -*-c-*- -------------- mix_eval_t.c :
  * Test of mix_eval_t
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: "00/12/03 11:35:33 jose"
+ *  Last change: Time-stamp: "01/02/20 00:26:15 jose"
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/testsuite/mix_ins_t.c b/mixlib/testsuite/mix_ins_t.c
index a84d63c..f643b47 100644
--- a/mixlib/testsuite/mix_ins_t.c
+++ b/mixlib/testsuite/mix_ins_t.c
@@ -1,7 +1,7 @@
 /*----------------------- mix_ins_t.c -------------------------------
  * Tests for mix_ins.h
  *-------------------------------------------------------------------
-** Copyright (C) 1999  jose antonio ortega ruiz <jaortega@acm.org>
+** Copyright (C) 1999  Free Software Foundation, Inc.
 **  
 ** 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/mixlib/testsuite/mix_parser_t.c b/mixlib/testsuite/mix_parser_t.c
index 6a7bece..7bfa9d0 100644
--- a/mixlib/testsuite/mix_parser_t.c
+++ b/mixlib/testsuite/mix_parser_t.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mix_parser_t.c :
  * Test of mix_parser_t
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/testsuite/mix_types_t.c b/mixlib/testsuite/mix_types_t.c
index ad8bab7..be9fb46 100644
--- a/mixlib/testsuite/mix_types_t.c
+++ b/mixlib/testsuite/mix_types_t.c
@@ -2,7 +2,7 @@
  * Tests for mix_types.h
  * ------------------------------------------------------------------
 *
-** Copyright (C) 1999 jose antonio ortega ruiz <jaortega@acm.org>
+** Copyright (C) 1999 Free Software Foundation, Inc.
 **  
 ** 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/mixlib/testsuite/mix_vm_ins_t.c b/mixlib/testsuite/mix_vm_ins_t.c
index 7f9d001..55ce7f3 100644
--- a/mixlib/testsuite/mix_vm_ins_t.c
+++ b/mixlib/testsuite/mix_vm_ins_t.c
@@ -1,7 +1,7 @@
 /* ---------------------- mix_vm_ins_t.c :
  * Tests for the virtual machine instruction handlers.
  * ------------------------------------------------------------------
-** Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+** Copyright (C) 2000 Free Software Foundation, Inc.
 **  
 ** 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/mixlib/testsuite/test.h b/mixlib/testsuite/test.h
index f71feff..6bf6306 100644
--- a/mixlib/testsuite/test.h
+++ b/mixlib/testsuite/test.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) 1999 jose antonio ortega ruiz <jaortega@acm.org>
+** Copyright (C) 1999 Free Software Foundation, Inc.
 **  
 ** 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/mixlib/xmix_eval.h b/mixlib/xmix_eval.h
index 5382d73..b43803a 100644
--- a/mixlib/xmix_eval.h
+++ b/mixlib/xmix_eval.h
@@ -1,9 +1,9 @@
 /* -*-c-*- ---------------- xmix_eval.h :
  * Definition of opaque types in mix_eval.h
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: <00/12/02 03:53:09 jose>
+ *  Last change: Time-stamp: <01/02/20 00:25:14 jose>
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/xmix_io.c b/mixlib/xmix_io.c
index 3c997c9..7511949 100644
--- a/mixlib/xmix_io.c
+++ b/mixlib/xmix_io.c
@@ -1,7 +1,7 @@
 /* -*-c-*- ------------------ xmix_io.c :
  * Implementation of the functions declared in xmix_io.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/xmix_io.h b/mixlib/xmix_io.h
index ca57a4b..19cbe04 100644
--- a/mixlib/xmix_io.h
+++ b/mixlib/xmix_io.h
@@ -1,7 +1,7 @@
 /* -*-c-*- ------------------ xmix_io.h :
  * Implementation of mix_iochannel_t and mix_file_t
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/xmix_parser.h b/mixlib/xmix_parser.h
index 2584be7..1915a0d 100644
--- a/mixlib/xmix_parser.h
+++ b/mixlib/xmix_parser.h
@@ -1,7 +1,7 @@
 /* -*-c-*- ---------------- xmix_parser.h :
  * Declarations for the implementation of mix_parser_t
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/xmix_vm.c b/mixlib/xmix_vm.c
index 3fc32ab..d304745 100644
--- a/mixlib/xmix_vm.c
+++ b/mixlib/xmix_vm.c
@@ -1,7 +1,7 @@
 /* ---------------------- xmix_vm.c :
  * Implementation of the functions declared in xmix_vm.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixlib/xmix_vm.h b/mixlib/xmix_vm.h
index af1d0ae..cfbf65a 100644
--- a/mixlib/xmix_vm.h
+++ b/mixlib/xmix_vm.h
@@ -2,7 +2,7 @@
  * This file contains internal declarations used in the implementation
  * of the mix_vm_t type.
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixutils/mixasm.c b/mixutils/mixasm.c
index 935e5d1..64f0f3d 100644
--- a/mixutils/mixasm.c
+++ b/mixutils/mixasm.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mixasm.c:
  * Main function of mixasm, the mix assembler
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixutils/mixasm_comp.c b/mixutils/mixasm_comp.c
index 3a31363..87b38be 100644
--- a/mixutils/mixasm_comp.c
+++ b/mixutils/mixasm_comp.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mixasm_comp.c :
  * Implementation of the functions declared in mixasm_comp.h
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixutils/mixasm_comp.h b/mixutils/mixasm_comp.h
index 74c0474..0fef0dd 100644
--- a/mixutils/mixasm_comp.h
+++ b/mixutils/mixasm_comp.h
@@ -1,7 +1,7 @@
 /* -*-c-*- ---------------- mixasm_comp.h :
  * Declarations of functions used to compile mix source files.
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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/mixutils/mixvm.c b/mixutils/mixvm.c
index 4c28557..eafc8a0 100644
--- a/mixutils/mixvm.c
+++ b/mixutils/mixvm.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mixvm.c :
  * Main function for mixvm, the mix vm simulator
  * ------------------------------------------------------------------
- * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ * Copyright (C) 2000 Free Software Foundation, Inc.
  *  
  * 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