annotate etc/ETAGS.README @ 112210:43d75ad47207

* lisp/progmodes/prolog.el: Use syntax-propertize. Further code cleanup. (prolog-use-prolog-tokenizer-flag): Change default when syntax-propertize can be used. (prolog-syntax-propertize-function): New var. (prolog-mode-variables): Move make-local-variable into `set'. Don't make comment-column local since we don't set it. Set comment-add (as it was in previous prolog.el). Use dolist. Set syntax-propertize-function. (prolog-mode, prolog-inferior-mode): Call prolog(-inferior)-menu directly, not through the mode-hook. (prolog-buffer-module, prolog-indent-level) (prolog-paren-is-the-first-on-line-p, prolog-paren-balance) (prolog-comment-limits, prolog-goto-comment-column): Use line-(end|beginning)-position. (prolog-build-prolog-command): Tighten up regexp. (prolog-consult-compile): Move make-local-variable into `set'. (prolog-consult-compile-filter, prolog-goto-next-paren) (prolog-help-on-predicate, prolog-clause-info) (prolog-mark-predicate): Don't let+setq. (prolog-indent-line): Use indent-line-to. Only call prolog-goto-comment-column if necessary. (prolog-indent-level): Use bobp. (prolog-first-pos-on-line): Remove, not used any more. (prolog-in-string-or-comment): Use syntax-ppss if available. (prolog-help-on-predicate): Use read-string. (prolog-goto-predicate-info): Simplify. (prolog-read-predicate): Use `default' rather than `initial'. (prolog-temporary-file): Use make-temp-file to close a security hole. (prolog-toggle-sicstus-sd): New command. (prolog-electric-underscore, prolog-variables-to-anonymous): Use dynamic-scoping as it was meant. (prolog-menu): Move menu definitions to top-level. Use a toggle-button for Sicstus's source debugger. Change "Code" to the more usual "Prolog", and hence change "Prolog" to "System". (prolog-inferior-menu): Reuse prolog-menu's help menu. Move other menu definition to top-level.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 13 Jan 2011 15:46:38 -0500
parents 1d1d5d9bd884
children 376148b31b5e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
76182
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 etags is distributed under the following conditions:
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 Copyright (C) 1984 The Regents of the University of California
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 Redistribution and use in source and binary forms, with or without
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 modification, are permitted provided that the following conditions are
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 met:
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 1. Redistributions of source code must retain the above copyright
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 notice, this list of conditions and the following disclaimer.
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 2. Redistributions in binary form must reproduce the above copyright
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 notice, this list of conditions and the following disclaimer in the
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 documentation and/or other materials provided with the
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 distribution.
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 3. Neither the name of the University nor the names of its
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 contributors may be used to endorse or promote products derived
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 from this software without specific prior written permission.
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 Copyright (C) 1984, 1987, 1988, 1989, 1993, 1994, 1995, 1998, 1999,
106815
1d1d5d9bd884 Add 2010 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 100972
diff changeset
32 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
76182
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 Free Software Foundation, Inc.
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 This file is not considered part of GNU Emacs.
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36
95004
cbf5528cf447 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79766
diff changeset
37 This program is free software: you can redistribute it and/or modify
76182
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 it under the terms of the GNU General Public License as published by
95004
cbf5528cf447 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79766
diff changeset
39 the Free Software Foundation, either version 3 of the License, or
cbf5528cf447 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79766
diff changeset
40 (at your option) any later version.
76182
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 This program is distributed in the hope that it will be useful,
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 but WITHOUT ANY WARRANTY; without even the implied warranty of
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 GNU General Public License for more details.
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46
8259f4f8c626 New file with etags legal info.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 You should have received a copy of the GNU General Public License
95004
cbf5528cf447 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79766
diff changeset
48 along with this program. If not, see <http://www.gnu.org/licenses/>.