Sun, 11 Feb 2007 01:18:25 +0000 |
Glenn Morris |
Switch to standard GPL text for license.
|
Thu, 01 Feb 2007 03:10:42 +0000 |
Glenn Morris |
Add copyright and permissions notices.
|
Fri, 08 Jul 2005 22:30:17 +0000 |
Richard M. Stallman |
Update edition number and size estimate.
|
Tue, 04 Feb 2003 14:56:31 +0000 |
Juanma Barranquero |
Trailing whitespace deleted.
|
Wed, 23 Oct 2002 09:34:45 +0000 |
Kai Grojohann |
From Michael Albinus.
|
Thu, 28 Mar 2002 18:29:02 +0000 |
Richard M. Stallman |
Fix version number.
|
Fri, 27 Jul 2001 07:09:54 +0000 |
Werner LEMBERG |
Fixing some typos.
|