1@ignore 2This file documents the user interface to the GNU History library. 3 |
4Copyright (C) 1988-2006 Free Software Foundation, Inc. |
5Authored by Brian Fox and Chet Ramey. 6 7Permission is granted to make and distribute verbatim copies of this manual 8provided the copyright notice and this permission notice are preserved on 9all copies. 10 11Permission is granted to process this file through Tex and print the 12results, provided the printed document carries copying permission notice --- 561 unchanged lines hidden --- |