annotate lisp/international/iso-cvt.el @ 42307:922f0ef2951b

(balance-windows): Use new PRESERVE-BEFORE arg to enlarge-window. Use save-selected-window. Don't try to resize windows that end at the bottom "level". Retry changing the sizes until the windows get the desired sizes. Discount the minibuffer when computing total height available.
author Richard M. Stallman <rms@gnu.org>
date Tue, 25 Dec 2001 10:34:39 +0000
parents b174db545cfd
children 0d8b17d428b5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
38436
b174db545cfd Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 34753
diff changeset
1 ;;; iso-cvt.el --- translate ISO 8859-1 from/to various encodings -*- coding: iso-latin-1 -*-
13337
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 10434
diff changeset
2 ;; This file was formerly called gm-lingo.el.
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 10434
diff changeset
3
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
4 ;; Copyright (C) 1993, 1994, 1995, 1996, 1998, 2000 Free Software Foundation, Inc.
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; Author: Michael Gschwind <mike@vlsivie.tuwien.ac.at>
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;; Keywords: tex, iso, latin, i18n
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; This file is part of GNU Emacs.
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; it under the terms of the GNU General Public License as published by
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; the Free Software Foundation; either version 2, or (at your option)
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; any later version.
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; GNU General Public License for more details.
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; You should have received a copy of the GNU General Public License
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13993
diff changeset
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13993
diff changeset
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13993
diff changeset
24 ;; Boston, MA 02111-1307, USA.
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
26 ;;; Commentary:
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
27 ;; This lisp code is a general framework for translating various
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
28 ;; representations of the same data.
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
29 ;; among other things it can be used to translate TeX, HTML, and compressed
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
30 ;; files to ISO 8859-1. It can also be used to translate different charsets
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
31 ;; such as IBM PC, Macintosh or HP Roman8.
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
32 ;; Note that many translations use the GNU recode tool to do the actual
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
33 ;; conversion. So you might want to install that tool to get the full
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
34 ;; benefit of iso-cvt.el
7425
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
35
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
36 ; TO DO:
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
37 ; Cover more cases for translation. (There is an infinite number of ways to
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
38 ; represent accented characters in TeX)
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
40 ;; SEE ALSO:
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
41 ; If you are interested in questions related to using the ISO 8859-1
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
42 ; characters set (configuring emacs, Unix, etc. to use ISO), then you
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
43 ; can get the ISO 8859-1 FAQ via anonymous ftp from
28425
6cc408ca6aef Fix comment. Don't bother to require format.
Dave Love <fx@gnu.org>
parents: 28393
diff changeset
44 ; ftp.vlsivie.tuwien.ac.at in /pub/8bit/FAQ-ISO-8859-1
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;;; Code:
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 (defvar iso-spanish-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ("~n" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ("\([a-zA-Z]\)#" "\\1ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ("~N" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ("\\([-a-zA-Z\"`]\\)\"u" "\\1ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ("\\([-a-zA-Z\"`]\\)\"U" "\\1Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ("\\([-a-zA-Z]\\)'o" "\\1ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ("\\([-a-zA-Z]\\)'O" "\\Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ("\\([-a-zA-Z]\\)'e" "\\1é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 ("\\([-a-zA-Z]\\)'E" "\\1É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ("\\([-a-zA-Z]\\)'a" "\\1á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ("\\([-a-zA-Z]\\)'A" "\\1A")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ("\\([-a-zA-Z]\\)'i" "\\1í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ("\\([-a-zA-Z]\\)'I" "\\1Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 "Spanish translation table.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
66 (defun iso-translate-conventions (from to trans-tab)
7850
b6f3dd2511bc (iso-translate-conventions): Get rid of interactive spec.
Richard M. Stallman <rms@gnu.org>
parents: 7831
diff changeset
67 "Use the translation table TRANS-TAB to translate the current buffer."
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 (save-excursion
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
69 (save-restriction
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
70 (narrow-to-region from to)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
71 (goto-char from)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
72 (let ((work-tab trans-tab)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
73 (buffer-read-only nil)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
74 (case-fold-search nil))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
75 (while work-tab
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
76 (save-excursion
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
77 (let ((trans-this (car work-tab)))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
78 (while (re-search-forward (car trans-this) nil t)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
79 (replace-match (car (cdr trans-this)) t nil)))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
80 (setq work-tab (cdr work-tab)))))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
81 (point-max))))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
83 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
84 (defun iso-spanish (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
85 "Translate net conventions for Spanish to ISO 8859-1.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
86 The region between FROM and TO is translated using the table TRANS-TAB.
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
87 Optional arg BUFFER is ignored (for use in `format-alist')."
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
88 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
89 (iso-translate-conventions from to iso-spanish-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 (defvar iso-aggressive-german-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 ("\"a" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 ("\"A" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 ("\"o" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 ("\"O" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 ("\"u" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 ("\"U" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 ("\"s" "ß")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 ("\\\\3" "ß")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 )
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
102 "German translation table.
10434
5cb0747f521f (iso-aggressive-german-trans-tab): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 10081
diff changeset
103 This table uses an aggressive translation approach and may erroneously
5cb0747f521f (iso-aggressive-german-trans-tab): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 10081
diff changeset
104 translate too much.")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 (defvar iso-conservative-german-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 ("\\([-a-zA-Z\"`]\\)\"a" "\\1ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 ("\\([-a-zA-Z\"`]\\)\"A" "\\1Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 ("\\([-a-zA-Z\"`]\\)\"o" "\\1ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 ("\\([-a-zA-Z\"`]\\)\"O" "\\1Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 ("\\([-a-zA-Z\"`]\\)\"u" "\\1ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 ("\\([-a-zA-Z\"`]\\)\"U" "\\1Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 ("\\([-a-zA-Z\"`]\\)\"s" "\\1ß")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 ("\\([-a-zA-Z\"`]\\)\\\\3" "\\1ß")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 "German translation table.
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
118 This table uses a conservative translation approach and may translate too
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 little.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
121 (defvar iso-german-trans-tab iso-aggressive-german-trans-tab
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 "Currently active translation table for German.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
124 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
125 (defun iso-german (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
126 "Translate net conventions for German to ISO 8859-1.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
127 The region between FROM and TO is translated using the table TRANS-TAB.
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
128 Optional arg BUFFER is ignored (for use in `format-alist')."
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
129 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
130 (iso-translate-conventions from to iso-german-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 (defvar iso-iso2tex-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 ("ä" "{\\\\\"a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 ("à" "{\\\\`a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 ("á" "{\\\\'a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 ("ã" "{\\\\~a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 ("â" "{\\\\^a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 ("ë" "{\\\\\"e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 ("è" "{\\\\`e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 ("é" "{\\\\'e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 ("ê" "{\\\\^e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 ("ï" "{\\\\\"\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 ("ì" "{\\\\`\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 ("í" "{\\\\'\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 ("î" "{\\\\^\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 ("ö" "{\\\\\"o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 ("ò" "{\\\\`o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 ("ó" "{\\\\'o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 ("õ" "{\\\\~o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 ("ô" "{\\\\^o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 ("ü" "{\\\\\"u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 ("ù" "{\\\\`u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 ("ú" "{\\\\'u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 ("û" "{\\\\^u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 ("Ä" "{\\\\\"A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 ("À" "{\\\\`A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 ("Á" "{\\\\'A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 ("Ã" "{\\\\~A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 ("Â" "{\\\\^A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 ("Ë" "{\\\\\"E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 ("È" "{\\\\`E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 ("É" "{\\\\'E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 ("Ê" "{\\\\^E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 ("Ï" "{\\\\\"I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 ("Ì" "{\\\\`I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 ("Í" "{\\\\'I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 ("Î" "{\\\\^I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 ("Ö" "{\\\\\"O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 ("Ò" "{\\\\`O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 ("Ó" "{\\\\'O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 ("Õ" "{\\\\~O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 ("Ô" "{\\\\^O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 ("Ü" "{\\\\\"U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 ("Ù" "{\\\\`U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 ("Ú" "{\\\\'U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 ("Û" "{\\\\^U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 ("ñ" "{\\\\~n}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 ("Ñ" "{\\\\~N}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 ("ç" "{\\\\c c}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 ("Ç" "{\\\\c C}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 ("ß" "{\\\\ss}")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
183 ("\306" "{\\\\AE}")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
184 ("\346" "{\\\\ae}")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
185 ("\305" "{\\\\AA}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
186 ("\345" "{\\\\aa}")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
187 ("\251" "{\\\\copyright}")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
188 ("£" "{\\\\pounds}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
189 ("¶" "{\\\\P}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
190 ("§" "{\\\\S}")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 ("¿" "{?`}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 ("¡" "{!`}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 "Translation table for translating ISO 8859-1 characters to TeX sequences.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
196 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
197 (defun iso-iso2tex (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
198 "Translate ISO 8859-1 characters to TeX sequences.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
199 The region between FROM and TO is translated using the table TRANS-TAB.
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
200 Optional arg BUFFER is ignored (for use in `format-alist')."
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
201 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
202 (iso-translate-conventions from to iso-iso2tex-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 (defvar iso-tex2iso-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 ("{\\\\\"a}" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 ("{\\\\`a}" "à")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 ("{\\\\'a}" "á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 ("{\\\\~a}" "ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 ("{\\\\^a}" "â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 ("{\\\\\"e}" "ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 ("{\\\\`e}" "è")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 ("{\\\\'e}" "é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 ("{\\\\^e}" "ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 ("{\\\\\"\\\\i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 ("{\\\\`\\\\i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 ("{\\\\'\\\\i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 ("{\\\\^\\\\i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 ("{\\\\\"i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 ("{\\\\`i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 ("{\\\\'i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 ("{\\\\^i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 ("{\\\\\"o}" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 ("{\\\\`o}" "ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 ("{\\\\'o}" "ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 ("{\\\\~o}" "õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 ("{\\\\^o}" "ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 ("{\\\\\"u}" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 ("{\\\\`u}" "ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 ("{\\\\'u}" "ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 ("{\\\\^u}" "û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 ("{\\\\\"A}" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 ("{\\\\`A}" "À")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 ("{\\\\'A}" "Á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 ("{\\\\~A}" "Ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 ("{\\\\^A}" "Â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 ("{\\\\\"E}" "Ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 ("{\\\\`E}" "È")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 ("{\\\\'E}" "É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 ("{\\\\^E}" "Ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 ("{\\\\\"I}" "Ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 ("{\\\\`I}" "Ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 ("{\\\\'I}" "Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 ("{\\\\^I}" "Î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 ("{\\\\\"O}" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 ("{\\\\`O}" "Ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 ("{\\\\'O}" "Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 ("{\\\\~O}" "Õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 ("{\\\\^O}" "Ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 ("{\\\\\"U}" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 ("{\\\\`U}" "Ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 ("{\\\\'U}" "Ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 ("{\\\\^U}" "Û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 ("{\\\\~n}" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 ("{\\\\~N}" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 ("{\\\\c c}" "ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 ("{\\\\c C}" "Ç")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
258 ("\\\\\"a" "ä")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
259 ("\\\\`a" "à")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
260 ("\\\\'a" "á")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
261 ("\\\\~a" "ã")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
262 ("\\\\^a" "â")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
263 ("\\\\\"e" "ë")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
264 ("\\\\`e" "è")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
265 ("\\\\'e" "é")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
266 ("\\\\^e" "ê")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
267 ("\\\\\"\\\\i" "ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
268 ("\\\\`\\\\i" "ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
269 ("\\\\'\\\\i" "í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
270 ("\\\\^\\\\i" "î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
271 ("\\\\\"i" "ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
272 ("\\\\`i" "ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
273 ("\\\\'i" "í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
274 ("\\\\^i" "î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
275 ("\\\\\"o" "ö")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
276 ("\\\\`o" "ò")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
277 ("\\\\'o" "ó")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
278 ("\\\\~o" "õ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
279 ("\\\\^o" "ô")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
280 ("\\\\\"u" "ü")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
281 ("\\\\`u" "ù")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
282 ("\\\\'u" "ú")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
283 ("\\\\^u" "û")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
284 ("\\\\\"A" "Ä")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
285 ("\\\\`A" "À")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
286 ("\\\\'A" "Á")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
287 ("\\\\~A" "Ã")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
288 ("\\\\^A" "Â")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
289 ("\\\\\"E" "Ë")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
290 ("\\\\`E" "È")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
291 ("\\\\'E" "É")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
292 ("\\\\^E" "Ê")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
293 ("\\\\\"I" "Ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
294 ("\\\\`I" "Ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
295 ("\\\\'I" "Í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
296 ("\\\\^I" "Î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
297 ("\\\\\"O" "Ö")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
298 ("\\\\`O" "Ò")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
299 ("\\\\'O" "Ó")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
300 ("\\\\~O" "Õ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
301 ("\\\\^O" "Ô")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
302 ("\\\\\"U" "Ü")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
303 ("\\\\`U" "Ù")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
304 ("\\\\'U" "Ú")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
305 ("\\\\^U" "Û")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
306 ("\\\\~n" "ñ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
307 ("\\\\~N" "Ñ")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 ("\\\\\"{a}" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309 ("\\\\`{a}" "à")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 ("\\\\'{a}" "á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 ("\\\\~{a}" "ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 ("\\\\^{a}" "â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 ("\\\\\"{e}" "ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 ("\\\\`{e}" "è")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 ("\\\\'{e}" "é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 ("\\\\^{e}" "ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 ("\\\\\"{\\\\i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 ("\\\\`{\\\\i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 ("\\\\'{\\\\i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 ("\\\\^{\\\\i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 ("\\\\\"{i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 ("\\\\`{i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 ("\\\\'{i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 ("\\\\^{i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 ("\\\\\"{o}" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 ("\\\\`{o}" "ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 ("\\\\'{o}" "ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328 ("\\\\~{o}" "õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 ("\\\\^{o}" "ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 ("\\\\\"{u}" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 ("\\\\`{u}" "ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 ("\\\\'{u}" "ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 ("\\\\^{u}" "û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 ("\\\\\"{A}" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 ("\\\\`{A}" "À")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 ("\\\\'{A}" "Á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 ("\\\\~{A}" "Ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 ("\\\\^{A}" "Â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 ("\\\\\"{E}" "Ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 ("\\\\`{E}" "È")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 ("\\\\'{E}" "É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 ("\\\\^{E}" "Ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 ("\\\\\"{I}" "Ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 ("\\\\`{I}" "Ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 ("\\\\'{I}" "Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
346 ("\\\\^{I}" "Î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 ("\\\\\"{O}" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 ("\\\\`{O}" "Ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 ("\\\\'{O}" "Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350 ("\\\\~{O}" "Õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 ("\\\\^{O}" "Ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 ("\\\\\"{U}" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353 ("\\\\`{U}" "Ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
354 ("\\\\'{U}" "Ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 ("\\\\^{U}" "Û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
356 ("\\\\~{n}" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
357 ("\\\\~{N}" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 ("\\\\c{c}" "ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 ("\\\\c{C}" "Ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 ("{\\\\ss}" "ß")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
361 ("{\\\\AE}" "\306")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
362 ("{\\\\ae}" "\346")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
363 ("{\\\\AA}" "\305")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
364 ("{\\\\aa}" "\345")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
365 ("{\\\\copyright}" "\251")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
366 ("\\\\copyright{}" "\251")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
367 ("{\\\\pounds}" "£" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
368 ("{\\\\P}" "¶" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
369 ("{\\\\S}" "§" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
370 ("\\\\pounds{}" "£" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
371 ("\\\\P{}" "¶" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
372 ("\\\\S{}" "§" )
8538
94145efe2ad8 (iso-tex2iso-trans-tab): Put the sequences with braces
Richard M. Stallman <rms@gnu.org>
parents: 8433
diff changeset
373 ("{\\?`}" "¿")
94145efe2ad8 (iso-tex2iso-trans-tab): Put the sequences with braces
Richard M. Stallman <rms@gnu.org>
parents: 8433
diff changeset
374 ("{!`}" "¡")
94145efe2ad8 (iso-tex2iso-trans-tab): Put the sequences with braces
Richard M. Stallman <rms@gnu.org>
parents: 8433
diff changeset
375 ("\\?`" "¿")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 ("!`" "¡")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 )
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
378 "Translation table for translating TeX sequences to ISO 8859-1 characters.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
379 This table is not exhaustive (and due to TeX's power can never be). It only
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380 contains commonly used sequences.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
381
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
382 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
383 (defun iso-tex2iso (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
384 "Translate TeX sequences to ISO 8859-1 characters.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
385 The region between FROM and TO is translated using the table TRANS-TAB.
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
386 Optional arg BUFFER is ignored (for use in `format-alist')."
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
387 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
388 (iso-translate-conventions from to iso-tex2iso-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
390 (defvar iso-gtex2iso-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 ("{\\\\\"a}" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 ("{\\\\`a}" "à")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394 ("{\\\\'a}" "á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
395 ("{\\\\~a}" "ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
396 ("{\\\\^a}" "â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 ("{\\\\\"e}" "ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 ("{\\\\`e}" "è")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 ("{\\\\'e}" "é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 ("{\\\\^e}" "ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 ("{\\\\\"\\\\i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 ("{\\\\`\\\\i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 ("{\\\\'\\\\i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 ("{\\\\^\\\\i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 ("{\\\\\"i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 ("{\\\\`i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407 ("{\\\\'i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 ("{\\\\^i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 ("{\\\\\"o}" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 ("{\\\\`o}" "ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 ("{\\\\'o}" "ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 ("{\\\\~o}" "õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
413 ("{\\\\^o}" "ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 ("{\\\\\"u}" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 ("{\\\\`u}" "ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 ("{\\\\'u}" "ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
417 ("{\\\\^u}" "û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
418 ("{\\\\\"A}" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 ("{\\\\`A}" "À")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 ("{\\\\'A}" "Á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 ("{\\\\~A}" "Ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 ("{\\\\^A}" "Â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 ("{\\\\\"E}" "Ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 ("{\\\\`E}" "È")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425 ("{\\\\'E}" "É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 ("{\\\\^E}" "Ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 ("{\\\\\"I}" "Ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 ("{\\\\`I}" "Ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 ("{\\\\'I}" "Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 ("{\\\\^I}" "Î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 ("{\\\\\"O}" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 ("{\\\\`O}" "Ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433 ("{\\\\'O}" "Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434 ("{\\\\~O}" "Õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 ("{\\\\^O}" "Ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 ("{\\\\\"U}" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 ("{\\\\`U}" "Ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 ("{\\\\'U}" "Ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 ("{\\\\^U}" "Û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 ("{\\\\~n}" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 ("{\\\\~N}" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 ("{\\\\c c}" "ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 ("{\\\\c C}" "Ç")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
444 ("\\\\\"a" "ä")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
445 ("\\\\`a" "à")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
446 ("\\\\'a" "á")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
447 ("\\\\~a" "ã")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
448 ("\\\\^a" "â")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
449 ("\\\\\"e" "ë")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
450 ("\\\\`e" "è")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
451 ("\\\\'e" "é")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
452 ("\\\\^e" "ê")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
453 ("\\\\\"\\\\i" "ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
454 ("\\\\`\\\\i" "ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
455 ("\\\\'\\\\i" "í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
456 ("\\\\^\\\\i" "î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
457 ("\\\\\"i" "ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
458 ("\\\\`i" "ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
459 ("\\\\'i" "í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
460 ("\\\\^i" "î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
461 ("\\\\\"o" "ö")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
462 ("\\\\`o" "ò")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
463 ("\\\\'o" "ó")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
464 ("\\\\~o" "õ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
465 ("\\\\^o" "ô")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
466 ("\\\\\"u" "ü")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
467 ("\\\\`u" "ù")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
468 ("\\\\'u" "ú")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
469 ("\\\\^u" "û")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
470 ("\\\\\"A" "Ä")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
471 ("\\\\`A" "À")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
472 ("\\\\'A" "Á")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
473 ("\\\\~A" "Ã")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
474 ("\\\\^A" "Â")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
475 ("\\\\\"E" "Ë")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
476 ("\\\\`E" "È")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
477 ("\\\\'E" "É")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
478 ("\\\\^E" "Ê")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
479 ("\\\\\"I" "Ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
480 ("\\\\`I" "Ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
481 ("\\\\'I" "Í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
482 ("\\\\^I" "Î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
483 ("\\\\\"O" "Ö")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
484 ("\\\\`O" "Ò")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
485 ("\\\\'O" "Ó")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
486 ("\\\\~O" "Õ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
487 ("\\\\^O" "Ô")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
488 ("\\\\\"U" "Ü")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
489 ("\\\\`U" "Ù")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
490 ("\\\\'U" "Ú")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
491 ("\\\\^U" "Û")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
492 ("\\\\~n" "ñ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
493 ("\\\\~N" "Ñ")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
494 ("\\\\\"{a}" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
495 ("\\\\`{a}" "à")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496 ("\\\\'{a}" "á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
497 ("\\\\~{a}" "ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
498 ("\\\\^{a}" "â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
499 ("\\\\\"{e}" "ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
500 ("\\\\`{e}" "è")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
501 ("\\\\'{e}" "é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
502 ("\\\\^{e}" "ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
503 ("\\\\\"{\\\\i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
504 ("\\\\`{\\\\i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
505 ("\\\\'{\\\\i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
506 ("\\\\^{\\\\i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
507 ("\\\\\"{i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508 ("\\\\`{i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
509 ("\\\\'{i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
510 ("\\\\^{i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
511 ("\\\\\"{o}" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
512 ("\\\\`{o}" "ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513 ("\\\\'{o}" "ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
514 ("\\\\~{o}" "õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515 ("\\\\^{o}" "ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516 ("\\\\\"{u}" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
517 ("\\\\`{u}" "ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
518 ("\\\\'{u}" "ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 ("\\\\^{u}" "û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
520 ("\\\\\"{A}" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
521 ("\\\\`{A}" "À")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 ("\\\\'{A}" "Á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
523 ("\\\\~{A}" "Ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
524 ("\\\\^{A}" "Â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
525 ("\\\\\"{E}" "Ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
526 ("\\\\`{E}" "È")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
527 ("\\\\'{E}" "É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
528 ("\\\\^{E}" "Ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
529 ("\\\\\"{I}" "Ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
530 ("\\\\`{I}" "Ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
531 ("\\\\'{I}" "Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
532 ("\\\\^{I}" "Î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
533 ("\\\\\"{O}" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
534 ("\\\\`{O}" "Ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
535 ("\\\\'{O}" "Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
536 ("\\\\~{O}" "Õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
537 ("\\\\^{O}" "Ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538 ("\\\\\"{U}" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 ("\\\\`{U}" "Ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540 ("\\\\'{U}" "Ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541 ("\\\\^{U}" "Û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
542 ("\\\\~{n}" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
543 ("\\\\~{N}" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
544 ("\\\\c{c}" "ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
545 ("\\\\c{C}" "Ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
546 ("{\\\\ss}" "ß")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
547 ("{\\\\AE}" "\306")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
548 ("{\\\\ae}" "\346")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
549 ("{\\\\AA}" "\305")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
550 ("{\\\\aa}" "\345")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
551 ("{\\\\copyright}" "\251")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
552 ("\\\\copyright{}" "\251")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
553 ("{\\\\pounds}" "£" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
554 ("{\\\\P}" "¶" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
555 ("{\\\\S}" "§" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
556 ("\\\\pounds{}" "£" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
557 ("\\\\P{}" "¶" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
558 ("\\\\S{}" "§" )
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
559 ("?`" "¿")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
560 ("!`" "¡")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
561 ("{?`}" "¿")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
562 ("{!`}" "¡")
7425
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
563 ("\"a" "ä")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
564 ("\"A" "Ä")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
565 ("\"o" "ö")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
566 ("\"O" "Ö")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
567 ("\"u" "ü")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
568 ("\"U" "Ü")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
569 ("\"s" "ß")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
570 ("\\\\3" "ß")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
571 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
572 "Translation table for translating German TeX sequences to ISO 8859-1.
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
573 This table is not exhaustive (and due to TeX's power can never be). It only
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
574 contains commonly used sequences.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
575
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
576 (defvar iso-iso2gtex-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
577 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
578 ("ä" "\"a")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
579 ("à" "{\\\\`a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
580 ("á" "{\\\\'a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
581 ("ã" "{\\\\~a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
582 ("â" "{\\\\^a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
583 ("ë" "{\\\\\"e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
584 ("è" "{\\\\`e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
585 ("é" "{\\\\'e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
586 ("ê" "{\\\\^e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
587 ("ï" "{\\\\\"\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
588 ("ì" "{\\\\`\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
589 ("í" "{\\\\'\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
590 ("î" "{\\\\^\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
591 ("ö" "\"o")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
592 ("ò" "{\\\\`o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
593 ("ó" "{\\\\'o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
594 ("õ" "{\\\\~o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
595 ("ô" "{\\\\^o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
596 ("ü" "\"u")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
597 ("ù" "{\\\\`u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
598 ("ú" "{\\\\'u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
599 ("û" "{\\\\^u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
600 ("Ä" "\"A")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
601 ("À" "{\\\\`A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
602 ("Á" "{\\\\'A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
603 ("Ã" "{\\\\~A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
604 ("Â" "{\\\\^A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
605 ("Ë" "{\\\\\"E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
606 ("È" "{\\\\`E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
607 ("É" "{\\\\'E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
608 ("Ê" "{\\\\^E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
609 ("Ï" "{\\\\\"I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
610 ("Ì" "{\\\\`I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
611 ("Í" "{\\\\'I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
612 ("Î" "{\\\\^I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
613 ("Ö" "\"O")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
614 ("Ò" "{\\\\`O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
615 ("Ó" "{\\\\'O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
616 ("Õ" "{\\\\~O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
617 ("Ô" "{\\\\^O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
618 ("Ü" "\"U")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
619 ("Ù" "{\\\\`U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
620 ("Ú" "{\\\\'U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
621 ("Û" "{\\\\^U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
622 ("ñ" "{\\\\~n}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
623 ("Ñ" "{\\\\~N}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
624 ("ç" "{\\\\c c}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
625 ("Ç" "{\\\\c C}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
626 ("ß" "\"s")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
627 ("\306" "{\\\\AE}")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
628 ("\346" "{\\\\ae}")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
629 ("\305" "{\\\\AA}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
630 ("\345" "{\\\\aa}")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
631 ("\251" "{\\\\copyright}")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
632 ("£" "{\\\\pounds}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
633 ("¶" "{\\\\P}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
634 ("§" "{\\\\S}")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
635 ("¿" "{?`}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
636 ("¡" "{!`}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
637 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
638 "Translation table for translating ISO 8859-1 characters to German TeX.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
639
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
640 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
641 (defun iso-gtex2iso (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
642 "Translate German TeX sequences to ISO 8859-1 characters.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
643 The region between FROM and TO is translated using the table TRANS-TAB.
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
644 Optional arg BUFFER is ignored (for use in `format-alist')."
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
645 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
646 (iso-translate-conventions from to iso-gtex2iso-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
647
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
648 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
649 (defun iso-iso2gtex (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
650 "Translate ISO 8859-1 characters to German TeX sequences.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
651 The region between FROM and TO is translated using the table TRANS-TAB.
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
652 Optional arg BUFFER is ignored (for use in `format-alist')."
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
653 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
654 (iso-translate-conventions from to iso-iso2gtex-trans-tab))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
655
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
656 (defvar iso-iso2duden-trans-tab
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
657 '(("ä" "ae")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
658 ("Ä" "Ae")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
659 ("ö" "oe")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
660 ("Ö" "Oe")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
661 ("ü" "ue")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
662 ("Ü" "Ue")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
663 ("ß" "ss")))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
664
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
665 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
666 (defun iso-iso2duden (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
667 "Translate ISO 8859-1 characters to German TeX sequences.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
668 The region between FROM and TO is translated using the table TRANS-TAB.
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
669 Optional arg BUFFER is ignored (for use in `format-alist')."
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
670 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
671 (iso-translate-conventions from to iso-iso2duden-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
672
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
673 (defvar iso-iso2sgml-trans-tab
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
674 '(("À" "&Agrave;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
675 ("Á" "&Aacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
676 ("Â" "&Acirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
677 ("Ã" "&Atilde;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
678 ("Ä" "&Auml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
679 ("Å" "&Aring;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
680 ("Æ" "&AElig;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
681 ("Ç" "&Ccedil;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
682 ("È" "&Egrave;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
683 ("É" "&Eacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
684 ("Ê" "&Ecirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
685 ("Ë" "&Euml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
686 ("Ì" "&Igrave;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
687 ("Í" "&Iacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
688 ("Î" "&Icirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
689 ("Ï" "&Iuml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
690 ("Ð" "&ETH;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
691 ("Ñ" "&Ntilde;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
692 ("Ò" "&Ograve;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
693 ("Ó" "&Oacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
694 ("Ô" "&Ocirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
695 ("Õ" "&Otilde;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
696 ("Ö" "&Ouml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
697 ("Ø" "&Oslash;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
698 ("Ù" "&Ugrave;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
699 ("Ú" "&Uacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
700 ("Û" "&Ucirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
701 ("Ü" "&Uuml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
702 ("Ý" "&Yacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
703 ("Þ" "&THORN;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
704 ("ß" "&szlig;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
705 ("à" "&agrave;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
706 ("á" "&aacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
707 ("â" "&acirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
708 ("ã" "&atilde;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
709 ("ä" "&auml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
710 ("å" "&aring;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
711 ("æ" "&aelig;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
712 ("ç" "&ccedil;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
713 ("è" "&egrave;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
714 ("é" "&eacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
715 ("ê" "&ecirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
716 ("ë" "&euml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
717 ("ì" "&igrave;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
718 ("í" "&iacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
719 ("î" "&icirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
720 ("ï" "&iuml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
721 ("ð" "&eth;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
722 ("ñ" "&ntilde;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
723 ("ò" "&ograve;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
724 ("ó" "&oacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
725 ("ô" "&ocirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
726 ("õ" "&otilde;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
727 ("ö" "&ouml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
728 ("ø" "&oslash;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
729 ("ù" "&ugrave;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
730 ("ú" "&uacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
731 ("û" "&ucirc;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
732 ("ü" "&uuml;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
733 ("ý" "&yacute;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
734 ("þ" "&thorn;")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
735 ("ÿ" "&yuml;")))
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
736
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
737 (defvar iso-sgml2iso-trans-tab
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
738 '(("&Agrave;" "À")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
739 ("&Aacute;" "Á")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
740 ("&Acirc;" "Â")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
741 ("&Atilde;" "Ã")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
742 ("&Auml;" "Ä")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
743 ("&Aring;" "Å")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
744 ("&AElig;" "Æ")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
745 ("&Ccedil;" "Ç")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
746 ("&Egrave;" "È")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
747 ("&Eacute;" "É")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
748 ("&Ecirc;" "Ê")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
749 ("&Euml;" "Ë")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
750 ("&Igrave;" "Ì")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
751 ("&Iacute;" "Í")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
752 ("&Icirc;" "Î")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
753 ("&Iuml;" "Ï")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
754 ("&ETH;" "Ð")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
755 ("&Ntilde;" "Ñ")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
756 ("&Ograve;" "Ò")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
757 ("&Oacute;" "Ó")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
758 ("&Ocirc;" "Ô")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
759 ("&Otilde;" "Õ")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
760 ("&Ouml;" "Ö")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
761 ("&Oslash;" "Ø")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
762 ("&Ugrave;" "Ù")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
763 ("&Uacute;" "Ú")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
764 ("&Ucirc;" "Û")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
765 ("&Uuml;" "Ü")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
766 ("&Yacute;" "Ý")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
767 ("&THORN;" "Þ")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
768 ("&szlig;" "ß")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
769 ("&agrave;" "à")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
770 ("&aacute;" "á")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
771 ("&acirc;" "â")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
772 ("&atilde;" "ã")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
773 ("&auml;" "ä")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
774 ("&aring;" "å")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
775 ("&aelig;" "æ")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
776 ("&ccedil;" "ç")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
777 ("&egrave;" "è")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
778 ("&eacute;" "é")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
779 ("&ecirc;" "ê")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
780 ("&euml;" "ë")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
781 ("&igrave;" "ì")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
782 ("&iacute;" "í")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
783 ("&icirc;" "î")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
784 ("&iuml;" "ï")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
785 ("&eth;" "ð")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
786 ("&ntilde;" "ñ")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
787 ("&ograve;" "ò")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
788 ("&oacute;" "ó")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
789 ("&ocirc;" "ô")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
790 ("&otilde;" "õ")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
791 ("&ouml;" "ö")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
792 ("&oslash;" "ø")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
793 ("&ugrave;" "ù")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
794 ("&uacute;" "ú")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
795 ("&ucirc;" "û")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
796 ("&uuml;" "ü")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
797 ("&yacute;" "ý")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
798 ("&thorn;" "þ")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
799 ("&yuml;" "ÿ")))
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
800
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
801 ;;;###autoload
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
802 (defun iso-iso2sgml (from to &optional buffer)
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
803 "Translate ISO 8859-1 characters in the region to SGML entities.
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
804 The entities used are from \"ISO 8879:1986//ENTITIES Added Latin 1//EN\".
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
805 Optional arg BUFFER is ignored (for use in `format-alist')."
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
806 (interactive "*r")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
807 (iso-translate-conventions from to iso-iso2sgml-trans-tab))
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
808
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
809 ;;;###autoload
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
810 (defun iso-sgml2iso (from to &optional buffer)
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
811 "Translate SGML entities in the region to ISO 8859-1 characters.
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
812 The entities used are from \"ISO 8879:1986//ENTITIES Added Latin 1//EN\".
34753
879195ddd0d6 Docstrings fix.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28425
diff changeset
813 Optional arg BUFFER is ignored (for use in `format-alist')."
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
814 (interactive "*r")
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
815 (iso-translate-conventions from to iso-sgml2iso-trans-tab))
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
816
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
817 ;;;###autoload
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
818 (defun iso-cvt-read-only ()
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
819 "Warn that format is read-only."
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
820 (interactive)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
821 (error "This format is read-only; specify another format for writing"))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
822
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
823 ;;;###autoload
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
824 (defun iso-cvt-write-only ()
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
825 "Warn that format is write-only."
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
826 (interactive)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
827 (error "This format is write-only"))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
828
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
829 ;;;###autoload
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
830 (defun iso-cvt-define-menu ()
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
831 "Add submenus to the Files menu, to convert to and from various formats."
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
832 (interactive)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
833
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
834 (define-key menu-bar-files-menu [load-as-separator] '("--"))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
835
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
836 (define-key menu-bar-files-menu [load-as] '("Load As..." . load-as))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
837 (defvar load-as-menu-map (make-sparse-keymap "Load As..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
838 (fset 'load-as load-as-menu-map)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
839
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
840 ;;(define-key menu-bar-files-menu [insert-as] '("Insert As..." . insert-as))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
841 (defvar insert-as-menu-map (make-sparse-keymap "Insert As..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
842 (fset 'insert-as insert-as-menu-map)
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
843
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
844 (define-key menu-bar-files-menu [write-as] '("Write As..." . write-as))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
845 (defvar write-as-menu-map (make-sparse-keymap "Write As..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
846 (fset 'write-as write-as-menu-map)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
847
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
848 (define-key menu-bar-files-menu [translate-separator] '("--"))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
849
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
850 (define-key menu-bar-files-menu [translate-to] '("Translate to..." . translate-to))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
851 (defvar translate-to-menu-map (make-sparse-keymap "Translate to..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
852 (fset 'translate-to translate-to-menu-map)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
853
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
854 (define-key menu-bar-files-menu [translate-from] '("Translate from..." . translate-from))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
855 (defvar translate-from-menu-map (make-sparse-keymap "Translate from..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
856 (fset 'translate-from translate-from-menu-map)
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
857
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
858 (let ((file-types (reverse format-alist))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
859 name
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
860 str-name)
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
861 (while file-types
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
862 (setq name (car (car file-types))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
863 str-name (car (cdr (car file-types)))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
864 file-types (cdr file-types))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
865 (if (stringp str-name)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
866 (progn
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
867 (define-key load-as-menu-map (vector name)
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
868 (cons str-name
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
869 `(lambda (file)
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
870 (interactive (format "FFind file (as %s): " ,name))
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
871 (format-find-file file ',name))))
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
872 (define-key insert-as-menu-map (vector name)
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
873 (cons str-name
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
874 `(lambda (file)
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
875 (interactive (format "FInsert file (as %s): " ,name))
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
876 (format-insert-file file ',name))))
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
877 (define-key write-as-menu-map (vector name)
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
878 (cons str-name
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
879 `(lambda (file)
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
880 (interactive (format "FWrite file (as %s): " ,name))
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
881 (format-write-file file ',name))))
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
882 (define-key translate-to-menu-map (vector name)
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
883 (cons str-name
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
884 `(lambda ()
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
885 (interactive)
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
886 (format-encode-buffer ',name))))
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
887 (define-key translate-from-menu-map (vector name)
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
888 (cons str-name
28393
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
889 `(lambda ()
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
890 (interactive)
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
891 (format-decode-buffer ',name)))))))))
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
892
aaa13b7caa88 Move provide to end. Doc fixes.
Dave Love <fx@gnu.org>
parents: 22911
diff changeset
893 (provide 'iso-cvt)
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
894
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
895 ;;; iso-cvt.el ends here