annotate oldXMenu/copyright.h @ 93095:c67e7bd43423

(verilog-easy-menu-filter): New function. (verilog-stmt-menu, verilog-menu): Add :help and filter it. (verilog-customize, verilog-font-customize) (electric-verilog-backward-sexp, electric-verilog-forward-sexp) (verilog-mode): Update documentation strings to match tool tips. (verilog-auto-search-do, verilog-auto-re-search-do) (verilog-skip-forward-comment-or-string): Fix verilog-auto expansion when a .* appears inside a string. (verilog-re-search-forward, verilog-re-search-backward): Add comment to recall how this works.
author Dan Nicolaescu <dann@ics.uci.edu>
date Thu, 20 Mar 2008 06:27:52 +0000
parents e806467e7c39
children 07774e5c3ff5 dd7c098af727 ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
2
Dave Love <fx@gnu.org>
parents:
diff changeset
3 Copyright 1985, 1986, 1987 by the Massachusetts Institute of Technology
Dave Love <fx@gnu.org>
parents:
diff changeset
4
Dave Love <fx@gnu.org>
parents:
diff changeset
5 Permission to use, copy, modify, and distribute this
Dave Love <fx@gnu.org>
parents:
diff changeset
6 software and its documentation for any purpose and without
Dave Love <fx@gnu.org>
parents:
diff changeset
7 fee is hereby granted, provided that the above copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
8 notice appear in all copies and that both that copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
9 notice and this permission notice appear in supporting
Dave Love <fx@gnu.org>
parents:
diff changeset
10 documentation, and that the name of M.I.T. not be used in
Dave Love <fx@gnu.org>
parents:
diff changeset
11 advertising or publicity pertaining to distribution of the
Dave Love <fx@gnu.org>
parents:
diff changeset
12 software without specific, written prior permission.
Dave Love <fx@gnu.org>
parents:
diff changeset
13 M.I.T. makes no representations about the suitability of
Dave Love <fx@gnu.org>
parents:
diff changeset
14 this software for any purpose. It is provided "as is"
Dave Love <fx@gnu.org>
parents:
diff changeset
15 without express or implied warranty.
Dave Love <fx@gnu.org>
parents:
diff changeset
16
Dave Love <fx@gnu.org>
parents:
diff changeset
17 */
Dave Love <fx@gnu.org>
parents:
diff changeset
18
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
19 /* arch-tag: c689b1bc-a3ba-41a1-baa0-a3622b5445b2
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
20 (do not change this comment) */