annotate lisp/international/iso-cvt.el @ 23323:0800a4f84757

(underlying_strftime): Set the buffer to a nonzero value before calling strftime, and check to see whether strftime has set the buffer to zero. This lets us distinguish between an empty buffer and an error. I'm installing this patch by hand now; it will be superseded whenever the glibc sources are propagated back to fsf.org.
author Paul Eggert <eggert@twinsun.com>
date Fri, 25 Sep 1998 21:40:23 +0000
parents d70738580fb4
children aaa13b7caa88
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
1 ;;; iso-cvt.-el -- translate ISO 8859-1 from/to various encodings
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
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
4 ;; Copyright (C) 1993, 1994, 1995, 1996, 1998 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
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
35 ;
7425
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
36
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
37 ; TO DO:
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
38 ; 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
39 ; represent accented characters in TeX)
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
41 ;; SEE ALSO:
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
42 ; 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
43 ; 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
44 ; can get the ISO 8859-1 FAQ via anonymous ftp from
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
45 ; ftp.vlsivie.tuwien.ac.at in /pub/bit/FAQ-ISO-8859-1
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ;;; Code:
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 (provide 'iso-cvt)
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
50 (require 'format)
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 (defvar iso-spanish-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ("~n" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ("\([a-zA-Z]\)#" "\\1ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ("~N" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ("\\([-a-zA-Z\"`]\\)\"u" "\\1ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 ("\\([-a-zA-Z\"`]\\)\"U" "\\1Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ("\\([-a-zA-Z]\\)'o" "\\1ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ("\\([-a-zA-Z]\\)'O" "\\Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ("\\([-a-zA-Z]\\)'e" "\\1é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ("\\([-a-zA-Z]\\)'E" "\\1É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ("\\([-a-zA-Z]\\)'a" "\\1á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ("\\([-a-zA-Z]\\)'A" "\\1A")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ("\\([-a-zA-Z]\\)'i" "\\1í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ("\\([-a-zA-Z]\\)'I" "\\1Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 "Spanish translation table.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
70 (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
71 "Use the translation table TRANS-TAB to translate the current buffer."
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 (save-excursion
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
73 (save-restriction
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
74 (narrow-to-region from to)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
75 (goto-char from)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
76 (let ((work-tab trans-tab)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
77 (buffer-read-only nil)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
78 (case-fold-search nil))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
79 (while work-tab
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
80 (save-excursion
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
81 (let ((trans-this (car work-tab)))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
82 (while (re-search-forward (car trans-this) nil t)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
83 (replace-match (car (cdr trans-this)) t nil)))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
84 (setq work-tab (cdr work-tab)))))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
85 (point-max))))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
87 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
88 (defun iso-spanish (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
89 "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
90 The region between FROM and TO is translated using the table TRANS-TAB.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
91 Optional arg BUFFER is ignored (so that the function can can be used in
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
92 `format-alist')."
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
93 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
94 (iso-translate-conventions from to iso-spanish-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 (defvar iso-aggressive-german-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 ("\"a" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 ("\"A" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 ("\"o" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 ("\"O" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 ("\"u" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 ("\"U" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 ("\"s" "ß")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 ("\\\\3" "ß")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 )
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
107 "German translation table.
10434
5cb0747f521f (iso-aggressive-german-trans-tab): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 10081
diff changeset
108 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
109 translate too much.")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 (defvar iso-conservative-german-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 ("\\([-a-zA-Z\"`]\\)\"a" "\\1ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 ("\\([-a-zA-Z\"`]\\)\"A" "\\1Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 ("\\([-a-zA-Z\"`]\\)\"o" "\\1ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 ("\\([-a-zA-Z\"`]\\)\"O" "\\1Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 ("\\([-a-zA-Z\"`]\\)\"u" "\\1ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 ("\\([-a-zA-Z\"`]\\)\"U" "\\1Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 ("\\([-a-zA-Z\"`]\\)\"s" "\\1ß")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 ("\\([-a-zA-Z\"`]\\)\\\\3" "\\1ß")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 "German translation table.
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
123 This table uses a conservative translation approach and may translate too
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 little.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
126 (defvar iso-german-trans-tab iso-aggressive-german-trans-tab
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 "Currently active translation table for German.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
129 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
130 (defun iso-german (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
131 "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
132 The region between FROM and TO is translated using the table TRANS-TAB.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
133 Optional arg BUFFER is ignored (so that the function can can be used in
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
134 `format-alist')."
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
135 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
136 (iso-translate-conventions from to iso-german-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 (defvar iso-iso2tex-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 ("ä" "{\\\\\"a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 ("à" "{\\\\`a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 ("á" "{\\\\'a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 ("ã" "{\\\\~a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 ("â" "{\\\\^a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 ("ë" "{\\\\\"e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 ("è" "{\\\\`e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 ("é" "{\\\\'e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 ("ê" "{\\\\^e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 ("ï" "{\\\\\"\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 ("ì" "{\\\\`\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 ("í" "{\\\\'\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 ("î" "{\\\\^\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 ("ö" "{\\\\\"o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 ("ò" "{\\\\`o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 ("ó" "{\\\\'o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 ("õ" "{\\\\~o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 ("ô" "{\\\\^o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 ("ü" "{\\\\\"u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 ("ù" "{\\\\`u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 ("ú" "{\\\\'u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 ("û" "{\\\\^u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 ("Ä" "{\\\\\"A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 ("À" "{\\\\`A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 ("Á" "{\\\\'A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 ("Ã" "{\\\\~A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 ("Â" "{\\\\^A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 ("Ë" "{\\\\\"E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 ("È" "{\\\\`E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 ("É" "{\\\\'E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 ("Ê" "{\\\\^E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 ("Ï" "{\\\\\"I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 ("Ì" "{\\\\`I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 ("Í" "{\\\\'I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 ("Î" "{\\\\^I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 ("Ö" "{\\\\\"O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 ("Ò" "{\\\\`O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 ("Ó" "{\\\\'O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 ("Õ" "{\\\\~O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 ("Ô" "{\\\\^O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 ("Ü" "{\\\\\"U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 ("Ù" "{\\\\`U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 ("Ú" "{\\\\'U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 ("Û" "{\\\\^U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 ("ñ" "{\\\\~n}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 ("Ñ" "{\\\\~N}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 ("ç" "{\\\\c c}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 ("Ç" "{\\\\c C}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 ("ß" "{\\\\ss}")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
189 ("\306" "{\\\\AE}")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
190 ("\346" "{\\\\ae}")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
191 ("\305" "{\\\\AA}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
192 ("\345" "{\\\\aa}")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
193 ("\251" "{\\\\copyright}")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
194 ("£" "{\\\\pounds}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
195 ("¶" "{\\\\P}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
196 ("§" "{\\\\S}")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 ("¿" "{?`}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 ("¡" "{!`}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 "Translation table for translating ISO 8859-1 characters to TeX sequences.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
202 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
203 (defun iso-iso2tex (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
204 "Translate ISO 8859-1 characters to TeX sequences.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
205 The region between FROM and TO is translated using the table TRANS-TAB.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
206 Optional arg BUFFER is ignored (so that the function can can be used in
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
207 `format-alist')."
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
208 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
209 (iso-translate-conventions from to iso-iso2tex-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (defvar iso-tex2iso-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 ("{\\\\\"a}" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 ("{\\\\`a}" "à")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 ("{\\\\'a}" "á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 ("{\\\\~a}" "ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 ("{\\\\^a}" "â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 ("{\\\\\"e}" "ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 ("{\\\\`e}" "è")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 ("{\\\\'e}" "é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 ("{\\\\^e}" "ê")
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 ("{\\\\`\\\\i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 ("{\\\\'\\\\i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 ("{\\\\^\\\\i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 ("{\\\\\"i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 ("{\\\\`i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 ("{\\\\'i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 ("{\\\\^i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 ("{\\\\\"o}" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 ("{\\\\`o}" "ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 ("{\\\\'o}" "ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 ("{\\\\~o}" "õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 ("{\\\\^o}" "ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 ("{\\\\\"u}" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 ("{\\\\`u}" "ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 ("{\\\\'u}" "ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 ("{\\\\^u}" "û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 ("{\\\\\"A}" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 ("{\\\\`A}" "À")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 ("{\\\\'A}" "Á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 ("{\\\\~A}" "Ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 ("{\\\\^A}" "Â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 ("{\\\\\"E}" "Ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 ("{\\\\`E}" "È")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 ("{\\\\'E}" "É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 ("{\\\\^E}" "Ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 ("{\\\\\"I}" "Ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 ("{\\\\`I}" "Ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 ("{\\\\'I}" "Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 ("{\\\\^I}" "Î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 ("{\\\\\"O}" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 ("{\\\\`O}" "Ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 ("{\\\\'O}" "Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 ("{\\\\~O}" "Õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 ("{\\\\^O}" "Ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 ("{\\\\\"U}" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 ("{\\\\`U}" "Ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 ("{\\\\'U}" "Ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 ("{\\\\^U}" "Û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 ("{\\\\~n}" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 ("{\\\\~N}" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 ("{\\\\c c}" "ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 ("{\\\\c C}" "Ç")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
265 ("\\\\\"a" "ä")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
266 ("\\\\`a" "à")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
267 ("\\\\'a" "á")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
268 ("\\\\~a" "ã")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
269 ("\\\\^a" "â")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
270 ("\\\\\"e" "ë")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
271 ("\\\\`e" "è")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
272 ("\\\\'e" "é")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
273 ("\\\\^e" "ê")
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 ("\\\\`\\\\i" "ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
276 ("\\\\'\\\\i" "í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
277 ("\\\\^\\\\i" "î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
278 ("\\\\\"i" "ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
279 ("\\\\`i" "ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
280 ("\\\\'i" "í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
281 ("\\\\^i" "î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
282 ("\\\\\"o" "ö")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
283 ("\\\\`o" "ò")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
284 ("\\\\'o" "ó")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
285 ("\\\\~o" "õ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
286 ("\\\\^o" "ô")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
287 ("\\\\\"u" "ü")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
288 ("\\\\`u" "ù")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
289 ("\\\\'u" "ú")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
290 ("\\\\^u" "û")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
291 ("\\\\\"A" "Ä")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
292 ("\\\\`A" "À")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
293 ("\\\\'A" "Á")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
294 ("\\\\~A" "Ã")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
295 ("\\\\^A" "Â")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
296 ("\\\\\"E" "Ë")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
297 ("\\\\`E" "È")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
298 ("\\\\'E" "É")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
299 ("\\\\^E" "Ê")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
300 ("\\\\\"I" "Ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
301 ("\\\\`I" "Ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
302 ("\\\\'I" "Í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
303 ("\\\\^I" "Î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
304 ("\\\\\"O" "Ö")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
305 ("\\\\`O" "Ò")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
306 ("\\\\'O" "Ó")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
307 ("\\\\~O" "Õ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
308 ("\\\\^O" "Ô")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
309 ("\\\\\"U" "Ü")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
310 ("\\\\`U" "Ù")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
311 ("\\\\'U" "Ú")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
312 ("\\\\^U" "Û")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
313 ("\\\\~n" "ñ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
314 ("\\\\~N" "Ñ")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 ("\\\\\"{a}" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 ("\\\\`{a}" "à")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 ("\\\\'{a}" "á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 ("\\\\~{a}" "ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 ("\\\\^{a}" "â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 ("\\\\\"{e}" "ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 ("\\\\`{e}" "è")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 ("\\\\'{e}" "é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 ("\\\\^{e}" "ê")
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 ("\\\\`{\\\\i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 ("\\\\'{\\\\i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 ("\\\\^{\\\\i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328 ("\\\\\"{i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 ("\\\\`{i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 ("\\\\'{i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 ("\\\\^{i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 ("\\\\\"{o}" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 ("\\\\`{o}" "ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 ("\\\\'{o}" "ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 ("\\\\~{o}" "õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 ("\\\\^{o}" "ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 ("\\\\\"{u}" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 ("\\\\`{u}" "ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 ("\\\\'{u}" "ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 ("\\\\^{u}" "û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 ("\\\\\"{A}" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 ("\\\\`{A}" "À")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 ("\\\\'{A}" "Á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 ("\\\\~{A}" "Ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 ("\\\\^{A}" "Â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
346 ("\\\\\"{E}" "Ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 ("\\\\`{E}" "È")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 ("\\\\'{E}" "É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 ("\\\\^{E}" "Ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350 ("\\\\\"{I}" "Ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 ("\\\\`{I}" "Ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 ("\\\\'{I}" "Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353 ("\\\\^{I}" "Î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
354 ("\\\\\"{O}" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 ("\\\\`{O}" "Ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
356 ("\\\\'{O}" "Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
357 ("\\\\~{O}" "Õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 ("\\\\^{O}" "Ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 ("\\\\\"{U}" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 ("\\\\`{U}" "Ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 ("\\\\'{U}" "Ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
362 ("\\\\^{U}" "Û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
363 ("\\\\~{n}" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364 ("\\\\~{N}" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 ("\\\\c{c}" "ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 ("\\\\c{C}" "Ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367 ("{\\\\ss}" "ß")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
368 ("{\\\\AE}" "\306")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
369 ("{\\\\ae}" "\346")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
370 ("{\\\\AA}" "\305")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
371 ("{\\\\aa}" "\345")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
372 ("{\\\\copyright}" "\251")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
373 ("\\\\copyright{}" "\251")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
374 ("{\\\\pounds}" "£" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
375 ("{\\\\P}" "¶" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
376 ("{\\\\S}" "§" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
377 ("\\\\pounds{}" "£" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
378 ("\\\\P{}" "¶" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
379 ("\\\\S{}" "§" )
8538
94145efe2ad8 (iso-tex2iso-trans-tab): Put the sequences with braces
Richard M. Stallman <rms@gnu.org>
parents: 8433
diff changeset
380 ("{\\?`}" "¿")
94145efe2ad8 (iso-tex2iso-trans-tab): Put the sequences with braces
Richard M. Stallman <rms@gnu.org>
parents: 8433
diff changeset
381 ("{!`}" "¡")
94145efe2ad8 (iso-tex2iso-trans-tab): Put the sequences with braces
Richard M. Stallman <rms@gnu.org>
parents: 8433
diff changeset
382 ("\\?`" "¿")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383 ("!`" "¡")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 )
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
385 "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
386 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
387 contains commonly used sequences.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
388
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
389 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
390 (defun iso-tex2iso (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
391 "Translate TeX sequences to ISO 8859-1 characters.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
392 The region between FROM and TO is translated using the table TRANS-TAB.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
393 Optional arg BUFFER is ignored (so that the function can can be used in
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
394 `format-alist')."
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
395 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
396 (iso-translate-conventions from to iso-tex2iso-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 (defvar iso-gtex2iso-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 ("{\\\\\"a}" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 ("{\\\\`a}" "à")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 ("{\\\\'a}" "á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 ("{\\\\~a}" "ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 ("{\\\\^a}" "â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 ("{\\\\\"e}" "ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 ("{\\\\`e}" "è")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407 ("{\\\\'e}" "é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 ("{\\\\^e}" "ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 ("{\\\\\"\\\\i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 ("{\\\\`\\\\i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 ("{\\\\'\\\\i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 ("{\\\\^\\\\i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
413 ("{\\\\\"i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 ("{\\\\`i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 ("{\\\\'i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 ("{\\\\^i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
417 ("{\\\\\"o}" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
418 ("{\\\\`o}" "ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 ("{\\\\'o}" "ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 ("{\\\\~o}" "õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 ("{\\\\^o}" "ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 ("{\\\\\"u}" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 ("{\\\\`u}" "ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 ("{\\\\'u}" "ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425 ("{\\\\^u}" "û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 ("{\\\\\"A}" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 ("{\\\\`A}" "À")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 ("{\\\\'A}" "Á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 ("{\\\\~A}" "Ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 ("{\\\\^A}" "Â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 ("{\\\\\"E}" "Ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 ("{\\\\`E}" "È")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433 ("{\\\\'E}" "É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434 ("{\\\\^E}" "Ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 ("{\\\\\"I}" "Ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 ("{\\\\`I}" "Ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 ("{\\\\'I}" "Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 ("{\\\\^I}" "Î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 ("{\\\\\"O}" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 ("{\\\\`O}" "Ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 ("{\\\\'O}" "Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 ("{\\\\~O}" "Õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 ("{\\\\^O}" "Ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 ("{\\\\\"U}" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445 ("{\\\\`U}" "Ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
446 ("{\\\\'U}" "Ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
447 ("{\\\\^U}" "Û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
448 ("{\\\\~n}" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
449 ("{\\\\~N}" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450 ("{\\\\c c}" "ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
451 ("{\\\\c C}" "Ç")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
452 ("\\\\\"a" "ä")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
453 ("\\\\`a" "à")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
454 ("\\\\'a" "á")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
455 ("\\\\~a" "ã")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
456 ("\\\\^a" "â")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
457 ("\\\\\"e" "ë")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
458 ("\\\\`e" "è")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
459 ("\\\\'e" "é")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
460 ("\\\\^e" "ê")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
461 ("\\\\\"\\\\i" "ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
462 ("\\\\`\\\\i" "ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
463 ("\\\\'\\\\i" "í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
464 ("\\\\^\\\\i" "î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
465 ("\\\\\"i" "ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
466 ("\\\\`i" "ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
467 ("\\\\'i" "í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
468 ("\\\\^i" "î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
469 ("\\\\\"o" "ö")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
470 ("\\\\`o" "ò")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
471 ("\\\\'o" "ó")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
472 ("\\\\~o" "õ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
473 ("\\\\^o" "ô")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
474 ("\\\\\"u" "ü")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
475 ("\\\\`u" "ù")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
476 ("\\\\'u" "ú")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
477 ("\\\\^u" "û")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
478 ("\\\\\"A" "Ä")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
479 ("\\\\`A" "À")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
480 ("\\\\'A" "Á")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
481 ("\\\\~A" "Ã")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
482 ("\\\\^A" "Â")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
483 ("\\\\\"E" "Ë")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
484 ("\\\\`E" "È")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
485 ("\\\\'E" "É")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
486 ("\\\\^E" "Ê")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
487 ("\\\\\"I" "Ï")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
488 ("\\\\`I" "Ì")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
489 ("\\\\'I" "Í")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
490 ("\\\\^I" "Î")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
491 ("\\\\\"O" "Ö")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
492 ("\\\\`O" "Ò")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
493 ("\\\\'O" "Ó")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
494 ("\\\\~O" "Õ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
495 ("\\\\^O" "Ô")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
496 ("\\\\\"U" "Ü")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
497 ("\\\\`U" "Ù")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
498 ("\\\\'U" "Ú")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
499 ("\\\\^U" "Û")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
500 ("\\\\~n" "ñ")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
501 ("\\\\~N" "Ñ")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
502 ("\\\\\"{a}" "ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
503 ("\\\\`{a}" "à")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
504 ("\\\\'{a}" "á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
505 ("\\\\~{a}" "ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
506 ("\\\\^{a}" "â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
507 ("\\\\\"{e}" "ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508 ("\\\\`{e}" "è")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
509 ("\\\\'{e}" "é")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
510 ("\\\\^{e}" "ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
511 ("\\\\\"{\\\\i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
512 ("\\\\`{\\\\i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513 ("\\\\'{\\\\i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
514 ("\\\\^{\\\\i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515 ("\\\\\"{i}" "ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516 ("\\\\`{i}" "ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
517 ("\\\\'{i}" "í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
518 ("\\\\^{i}" "î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 ("\\\\\"{o}" "ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
520 ("\\\\`{o}" "ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
521 ("\\\\'{o}" "ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 ("\\\\~{o}" "õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
523 ("\\\\^{o}" "ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
524 ("\\\\\"{u}" "ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
525 ("\\\\`{u}" "ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
526 ("\\\\'{u}" "ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
527 ("\\\\^{u}" "û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
528 ("\\\\\"{A}" "Ä")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
529 ("\\\\`{A}" "À")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
530 ("\\\\'{A}" "Á")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
531 ("\\\\~{A}" "Ã")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
532 ("\\\\^{A}" "Â")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
533 ("\\\\\"{E}" "Ë")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
534 ("\\\\`{E}" "È")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
535 ("\\\\'{E}" "É")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
536 ("\\\\^{E}" "Ê")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
537 ("\\\\\"{I}" "Ï")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538 ("\\\\`{I}" "Ì")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 ("\\\\'{I}" "Í")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540 ("\\\\^{I}" "Î")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541 ("\\\\\"{O}" "Ö")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
542 ("\\\\`{O}" "Ò")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
543 ("\\\\'{O}" "Ó")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
544 ("\\\\~{O}" "Õ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
545 ("\\\\^{O}" "Ô")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
546 ("\\\\\"{U}" "Ü")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
547 ("\\\\`{U}" "Ù")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
548 ("\\\\'{U}" "Ú")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
549 ("\\\\^{U}" "Û")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
550 ("\\\\~{n}" "ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551 ("\\\\~{N}" "Ñ")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
552 ("\\\\c{c}" "ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
553 ("\\\\c{C}" "Ç")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 ("{\\\\ss}" "ß")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
555 ("{\\\\AE}" "\306")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
556 ("{\\\\ae}" "\346")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
557 ("{\\\\AA}" "\305")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
558 ("{\\\\aa}" "\345")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
559 ("{\\\\copyright}" "\251")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
560 ("\\\\copyright{}" "\251")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
561 ("{\\\\pounds}" "£" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
562 ("{\\\\P}" "¶" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
563 ("{\\\\S}" "§" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
564 ("\\\\pounds{}" "£" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
565 ("\\\\P{}" "¶" )
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
566 ("\\\\S{}" "§" )
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
567 ("?`" "¿")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
568 ("!`" "¡")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
569 ("{?`}" "¿")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
570 ("{!`}" "¡")
7425
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
571 ("\"a" "ä")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
572 ("\"A" "Ä")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
573 ("\"o" "ö")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
574 ("\"O" "Ö")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
575 ("\"u" "ü")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
576 ("\"U" "Ü")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
577 ("\"s" "ß")
eb4b69bf2d4e (iso-gtex2iso-trans-tab): Redorder this list.
Richard M. Stallman <rms@gnu.org>
parents: 7260
diff changeset
578 ("\\\\3" "ß")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
579 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
580 "Translation table for translating German TeX sequences to ISO 8859-1.
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
581 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
582 contains commonly used sequences.")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
583
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
584 (defvar iso-iso2gtex-trans-tab
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
585 '(
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
586 ("ä" "\"a")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
587 ("à" "{\\\\`a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
588 ("á" "{\\\\'a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
589 ("ã" "{\\\\~a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
590 ("â" "{\\\\^a}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
591 ("ë" "{\\\\\"e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
592 ("è" "{\\\\`e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
593 ("é" "{\\\\'e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
594 ("ê" "{\\\\^e}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
595 ("ï" "{\\\\\"\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
596 ("ì" "{\\\\`\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
597 ("í" "{\\\\'\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
598 ("î" "{\\\\^\\\\i}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
599 ("ö" "\"o")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
600 ("ò" "{\\\\`o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
601 ("ó" "{\\\\'o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
602 ("õ" "{\\\\~o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
603 ("ô" "{\\\\^o}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
604 ("ü" "\"u")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
605 ("ù" "{\\\\`u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
606 ("ú" "{\\\\'u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
607 ("û" "{\\\\^u}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
608 ("Ä" "\"A")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
609 ("À" "{\\\\`A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
610 ("Á" "{\\\\'A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
611 ("Ã" "{\\\\~A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
612 ("Â" "{\\\\^A}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
613 ("Ë" "{\\\\\"E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
614 ("È" "{\\\\`E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
615 ("É" "{\\\\'E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
616 ("Ê" "{\\\\^E}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
617 ("Ï" "{\\\\\"I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
618 ("Ì" "{\\\\`I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
619 ("Í" "{\\\\'I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
620 ("Î" "{\\\\^I}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
621 ("Ö" "\"O")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
622 ("Ò" "{\\\\`O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
623 ("Ó" "{\\\\'O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
624 ("Õ" "{\\\\~O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
625 ("Ô" "{\\\\^O}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
626 ("Ü" "\"U")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
627 ("Ù" "{\\\\`U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
628 ("Ú" "{\\\\'U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
629 ("Û" "{\\\\^U}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
630 ("ñ" "{\\\\~n}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
631 ("Ñ" "{\\\\~N}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
632 ("ç" "{\\\\c c}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
633 ("Ç" "{\\\\c C}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
634 ("ß" "\"s")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
635 ("\306" "{\\\\AE}")
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
636 ("\346" "{\\\\ae}")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
637 ("\305" "{\\\\AA}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
638 ("\345" "{\\\\aa}")
7861
8996abee8718 (iso-iso2tex-trans-tab): Change a few characters.
Richard M. Stallman <rms@gnu.org>
parents: 7850
diff changeset
639 ("\251" "{\\\\copyright}")
10081
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
640 ("£" "{\\\\pounds}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
641 ("¶" "{\\\\P}")
5e4ef35c904b Handle pilcrow, paragraph and pound signs.
Richard M. Stallman <rms@gnu.org>
parents: 8538
diff changeset
642 ("§" "{\\\\S}")
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
643 ("¿" "{?`}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
644 ("¡" "{!`}")
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
645 )
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
646 "Translation table for translating ISO 8859-1 characters to German TeX.")
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-gtex2iso (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
650 "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
651 The region between FROM and TO is translated using the table TRANS-TAB.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
652 Optional arg BUFFER is ignored (so that the function can can be used in
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
653 `format-alist')."
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
654 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
655 (iso-translate-conventions from to iso-gtex2iso-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
656
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
657 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
658 (defun iso-iso2gtex (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
659 "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
660 The region between FROM and TO is translated using the table TRANS-TAB.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
661 Optional arg BUFFER is ignored (so that the function can can be used in
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
662 `format-alist')."
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
663 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
664 (iso-translate-conventions from to iso-iso2gtex-trans-tab))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
665
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
666 (defvar iso-iso2duden-trans-tab
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
667 '(("ä" "ae")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
668 ("Ä" "Ae")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
669 ("ö" "oe")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
670 ("Ö" "Oe")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
671 ("ü" "ue")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
672 ("Ü" "Ue")
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
673 ("ß" "ss")))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
674
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
675 ;;;###autoload
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
676 (defun iso-iso2duden (from to &optional buffer)
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
677 "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
678 The region between FROM and TO is translated using the table TRANS-TAB.
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
679 Optional arg BUFFER is ignored (so that the function can can be used in
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
680 `format-alist')."
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
681 (interactive "*r")
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
682 (iso-translate-conventions from to iso-iso2duden-trans-tab))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
683
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
684 ;;;###autoload
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
685 (defun iso-cvt-read-only ()
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
686 "Warn that format is read-only."
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
687 (interactive)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
688 (error "This format is read-only; specify another format for writing"))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
689
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
690 ;;;###autoload
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
691 (defun iso-cvt-write-only ()
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
692 "Warn that format is write-only."
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
693 (interactive)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
694 (error "This format is write-only"))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
695
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
696 ;;;###autoload
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
697 (defun iso-cvt-define-menu ()
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
698 "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
699 (interactive)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
700
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
701 (define-key menu-bar-files-menu [load-as-separator] '("--"))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
702
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
703 (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
704 (defvar load-as-menu-map (make-sparse-keymap "Load As..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
705 (fset 'load-as load-as-menu-map)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
706
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
707 ;;(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
708 (defvar insert-as-menu-map (make-sparse-keymap "Insert As..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
709 (fset 'insert-as insert-as-menu-map)
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
710
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
711 (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
712 (defvar write-as-menu-map (make-sparse-keymap "Write As..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
713 (fset 'write-as write-as-menu-map)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
714
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
715 (define-key menu-bar-files-menu [translate-separator] '("--"))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
716
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
717 (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
718 (defvar translate-to-menu-map (make-sparse-keymap "Translate to..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
719 (fset 'translate-to translate-to-menu-map)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
720
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
721 (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
722 (defvar translate-from-menu-map (make-sparse-keymap "Translate from..."))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
723 (fset 'translate-from translate-from-menu-map)
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
724
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
725 (let ((file-types (reverse format-alist))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
726 name
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
727 str-name)
22911
d70738580fb4 (iso-spanish, iso-german, iso-iso2tex,
Dave Love <fx@gnu.org>
parents: 20987
diff changeset
728 (while file-types
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
729 (setq name (car (car file-types))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
730 str-name (car (cdr (car file-types)))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
731 file-types (cdr file-types))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
732 (if (stringp str-name)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
733 (progn
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
734 (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
735 (cons str-name
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
736 (list 'lambda '(file) (list 'interactive (format "FFind file (as %s): " name))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
737 (list 'format-find-file 'file (list 'quote name)))))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
738 (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
739 (cons str-name
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
740 (list 'lambda '(file) (list 'interactive (format "FInsert file (as %s): " name))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
741 (list 'format-insert-file 'file (list 'quote name)))))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
742 (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
743 (cons str-name
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
744 (list 'lambda '(file) (list 'interactive (format "FWrite file (as %s): " name))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
745 (list 'format-write-file 'file (list 'quote (list name))))))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
746 (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
747 (cons str-name
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
748 (list 'lambda '() '(interactive)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
749 (list 'format-encode-buffer (list 'quote name)))))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
750 (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
751 (cons str-name
18228
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
752 (list 'lambda '() '(interactive)
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
753 (list 'format-decode-buffer (list 'quote (list name))))))
81fa1f5547eb Require `format'.
Richard M. Stallman <rms@gnu.org>
parents: 15261
diff changeset
754 )))))
7260
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
755
b71d8f758a66 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
756 ;;; iso-cvt.el ends here