annotate oldXMenu/copyright.h @ 31063:e0e59380736b

Mark isearch-lazy-highlight as documented in the manual.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 22 Aug 2000 15:30:59 +0000
parents bbce331da1be
children 695cf19ef79e d7ddb3e565de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* $Header: /u/src/emacs/19.0/oldXMenu/RCS/copyright.h,v 1.1 1992/04/11 22:10:22 jimb Exp $ */
Dave Love <fx@gnu.org>
parents:
diff changeset
2 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
3
Dave Love <fx@gnu.org>
parents:
diff changeset
4 Copyright 1985, 1986, 1987 by the Massachusetts Institute of Technology
Dave Love <fx@gnu.org>
parents:
diff changeset
5
Dave Love <fx@gnu.org>
parents:
diff changeset
6 Permission to use, copy, modify, and distribute this
Dave Love <fx@gnu.org>
parents:
diff changeset
7 software and its documentation for any purpose and without
Dave Love <fx@gnu.org>
parents:
diff changeset
8 fee is hereby granted, provided that the above copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
9 notice appear in all copies and that both that copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
10 notice and this permission notice appear in supporting
Dave Love <fx@gnu.org>
parents:
diff changeset
11 documentation, and that the name of M.I.T. not be used in
Dave Love <fx@gnu.org>
parents:
diff changeset
12 advertising or publicity pertaining to distribution of the
Dave Love <fx@gnu.org>
parents:
diff changeset
13 software without specific, written prior permission.
Dave Love <fx@gnu.org>
parents:
diff changeset
14 M.I.T. makes no representations about the suitability of
Dave Love <fx@gnu.org>
parents:
diff changeset
15 this software for any purpose. It is provided "as is"
Dave Love <fx@gnu.org>
parents:
diff changeset
16 without express or implied warranty.
Dave Love <fx@gnu.org>
parents:
diff changeset
17
Dave Love <fx@gnu.org>
parents:
diff changeset
18 */
Dave Love <fx@gnu.org>
parents:
diff changeset
19