annotate lisp/packages/tex-latin1.el @ 147:e186c2b7192d xemacs-20-2

Added tag r20-2p1 for changeset 2af401a6ecca
author cvs
date Mon, 13 Aug 2007 09:34:48 +0200
parents 376386a54a3c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
1 ;; gm-lingo.el
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
2 ;; Translate to ISO from/to net/TeX conventions ...
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
3 ;; Copyright 1993 Michael Gschwind (mike@vlsivie.tuwien.ac.at)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
4
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
5 ;; Keywords: tex, iso, latin, 8bit
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
6
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
7 ;; From: mike@vlsivie.tuwien.ac.at (Michael Gschwind)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
8 ;; Newsgroups: gnu.emacs.sources
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
9 ;; Subject: tex sequence to ISO latin conversions (and back)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
10 ;; Date: 13 Oct 1993 12:12:35 GMT
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
11 ;;
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
12 ;; The enclosed elisp file installs hooks which automatically translate
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
13 ;; TeX sequences to ISO latin1 upon loading of a TeX file in emacs. This
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
14 ;; allows editing of TeX documents without having to type escape
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
15 ;; sequences. Upon saving a file, ISO latin1 characters are converted
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
16 ;; back to TeX sequences. (If you have a tex style which can handle 8 bit
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
17 ;; characters, this part is not necessary, but the loading half is still
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
18 ;; neat to convert old files to 8 bit - also, 8 bit are less portable
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
19 ;; than 7...)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
20 ;;
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
21 ;; It also contains a function 'german which translates net conventions
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
22 ;; for typing german characters into the real thing - if you install this
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
23 ;; in news-reader/mail/whatever hooks, you'll never again be bothered
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
24 ;; with having to read characters like "s or \3 or "a etc.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
25 ;;
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
26 ;; mike
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
27 ;;
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
28
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
29 ;; This file works with GNU Emacs19 or higher, but is not part of GNU Emacs.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
30
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
31 ;; This program is free software; you can redistribute it and/or modify
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
32 ;; it under the terms of the GNU General Public License as published by
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
33 ;; the Free Software Foundation; either version 2 of the License, or
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
34 ;; (at your option) any later version.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
35 ;;
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
36 ;; This program is distributed in the hope that it will be useful,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
37 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
38 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
39 ;; GNU General Public License for more details.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
40 ;;
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
41 ;; You should have received a copy of the GNU General Public License
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
42 ;; along with this program; if not, write to the Free Software
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
43 ;; Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
44
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
45 ; it's the author's first lisp program in a long time, so don't judge
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
46 ; him by it :(
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
47
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
48 ; to do: translate buffer when displaying from GNUS,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
49 ; use function 'german which does the Right Thing
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
50 ; upon saving, the buffer reverts to TeX format...
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
51
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
52 ; Description:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
53 ; calling 'german will turn the net convention f. umlauts ("a etc.)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
54 ; into ISO latin umlaute for easy reading.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
55 ; hooks change TeX files to latin1 for editing and back to TeX sequences
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
56 ; for calling TeX. An alternative is a TeX style that handles
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
57 ; 8 bit ISO files (available on ftp.vlsivie.tuwien.ac.at in /pub/8bit)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
58 ; - but these files are difficult to transmit ... so while the net is
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
59 ; still @ 7 bit this may be useful
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
60 ;
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
61 ; fixed bug that causes uppercase umlauts to become lower case by
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
62 ; conversion -- msz 960429
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
63
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
64 (defvar spanish-trans-tab '(
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
65 ("~n" "ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
66 ("\([a-zA-Z]\)#" "\\1ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
67 ("~N" "Ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
68 ( "\\([-a-zA-Z\"`]\\)\"u" "\\1ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
69 ( "\\([-a-zA-Z\"`]\\)\"U" "\\1Ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
70 ( "\\([-a-zA-Z]\\)'o" "\\1ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
71 ( "\\([-a-zA-Z]\\)'O" "\\Ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
72 ( "\\([-a-zA-Z]\\)'e" "\\1é")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
73 ( "\\([-a-zA-Z]\\)'E" "\\1É")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
74 ( "\\([-a-zA-Z]\\)'a" "\\1á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
75 ( "\\([-a-zA-Z]\\)'A" "\\1A")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
76 ( "\\([-a-zA-Z]\\)'i" "\\1í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
77 ( "\\([-a-zA-Z]\\)'I" "\\1Í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
78 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
79 "Spanish")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
80
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
81 (defun translate-conventions (trans-tab)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
82 (interactive)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
83 (save-excursion
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
84 (widen)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
85 (goto-char (point-min))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
86 (setq save-case-fold-search case-fold-search) ;; msz 960429
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
87 (setq case-fold-search nil) ;;
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
88 (let ((work-tab trans-tab)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
89 (buffer-read-only nil))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
90 (while work-tab
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
91 (save-excursion
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
92 (let ((trans-this (car work-tab)))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
93 (while (re-search-forward (car trans-this) nil t)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
94 (replace-match (car (cdr trans-this)) nil nil)))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
95 (setq work-tab (cdr work-tab)))))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
96 (setq case-fold-serch save-case-fold-search)))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
97
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
98 (defun spanish ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
99 "Translate net conventions for Spanish to ISO"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
100 (interactive)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
101 (translate-conventions spanish-trans-tab))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
102
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
103 (defvar aggressive-german-trans-tab '(
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
104 ( "\"a" "ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
105 ( "\"A" "Ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
106 ( "\"o" "ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
107 ( "\"O" "Ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
108 ( "\"u" "ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
109 ( "\"U" "Ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
110 ( "\"s" "ß")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
111 ( "\\\\3" "ß")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
112 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
113 "German - may do too much")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
114
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
115 (defvar conservative-german-trans-tab '(
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
116 ( "\\([-a-zA-Z\"`]\\)\"a" "\\1ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
117 ( "\\([-a-zA-Z\"`]\\)\"A" "\\1Ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
118 ( "\\([-a-zA-Z\"`]\\)\"o" "\\1ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
119 ( "\\([-a-zA-Z\"`]\\)\"O" "\\1Ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
120 ( "\\([-a-zA-Z\"`]\\)\"u" "\\1ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
121 ( "\\([-a-zA-Z\"`]\\)\"U" "\\1Ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
122 ( "\\([-a-zA-Z\"`]\\)\"s" "\\1ß")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
123 ( "\\([-a-zA-Z\"`]\\)\\\\3" "\\1ß")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
124 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
125 "conservative German - may do too little")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
126
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
127
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
128 (defvar german-trans-tab aggressive-german-trans-tab "used for char translation")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
129
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
130 (defun german ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
131 "Translate net conventions for German to ISO"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
132 (interactive)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
133 (translate-conventions german-trans-tab))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
134
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
135 (defvar iso2tex-trans-tab '(
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
136 ("ä" "{\\\\\"a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
137 ("à" "{\\\\`a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
138 ("á" "{\\\\'a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
139 ("ã" "{\\\\~a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
140 ("â" "{\\\\^a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
141 ("ë" "{\\\\\"e}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
142 ("è" "{\\\\`e}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
143 ("é" "{\\\\'e}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
144 ("ê" "{\\\\^e}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
145 ("ï" "{\\\\\"\\\\i}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
146 ("ì" "{\\\\`\\\\i}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
147 ("í" "{\\\\'\\\\i}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
148 ("î" "{\\\\^\\\\i}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
149 ("ö" "{\\\\\"o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
150 ("ò" "{\\\\`o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
151 ("ó" "{\\\\'o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
152 ("õ" "{\\\\~o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
153 ("ô" "{\\\\^o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
154 ("ü" "{\\\\\"u}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
155 ("ù" "{\\\\`u}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
156 ("ú" "{\\\\'u}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
157 ("û" "{\\\\^u}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
158 ("Ä" "{\\\\\"A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
159 ("À" "{\\\\`A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
160 ("Á" "{\\\\'A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
161 ("Ã" "{\\\\~A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
162 ("Â" "{\\\\^A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
163 ("Ë" "{\\\\\"E}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
164 ("È" "{\\\\`E}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
165 ("É" "{\\\\'E}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
166 ("Ê" "{\\\\^E}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
167 ("Ï" "{\\\\\"I}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
168 ("Ì" "{\\\\`I}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
169 ("Í" "{\\\\'I}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
170 ("Î" "{\\\\^I}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
171 ("Ö" "{\\\\\"O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
172 ("Ò" "{\\\\`O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
173 ("Ó" "{\\\\'O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
174 ("Õ" "{\\\\~O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
175 ("Ô" "{\\\\^O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
176 ("Ü" "{\\\\\"U}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
177 ("Ù" "{\\\\`U}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
178 ("Ú" "{\\\\'U}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
179 ("Û" "{\\\\^U}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
180 ("ñ" "{\\\\~n}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
181 ("Ñ" "{\\\\~N}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
182 ("ç" "{\\\\c c}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
183 ("Ç" "{\\\\c C}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
184 ("ß" "{\\\\ss}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
185 ("¿" "{?`}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
186 ("¡" "{!`}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
187 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
188 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
189
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
190
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
191
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
192
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
193 (defun iso2tex ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
194 "Translate ISO to TeX"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
195 (interactive)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
196 (translate-conventions iso2tex-trans-tab))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
197
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
198
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
199 (defvar tex2iso-trans-tab '(
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
200 ( "{\\\\\"a}" "ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
201 ( "{\\\\`a}" "à")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
202 ( "{\\\\'a}" "á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
203 ( "{\\\\~a}" "ã")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
204 ( "{\\\\^a}" "â")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
205 ( "{\\\\\"e}" "ë")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
206 ( "{\\\\`e}" "è")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
207 ( "{\\\\'e}" "é")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
208 ( "{\\\\^e}" "ê")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
209 ( "{\\\\\"\\\\i}" "ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
210 ( "{\\\\`\\\\i}" "ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
211 ( "{\\\\'\\\\i}" "í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
212 ( "{\\\\^\\\\i}" "î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
213 ( "{\\\\\"i}" "ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
214 ( "{\\\\`i}" "ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
215 ( "{\\\\'i}" "í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
216 ( "{\\\\^i}" "î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
217 ( "{\\\\\"o}" "ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
218 ( "{\\\\`o}" "ò")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
219 ( "{\\\\'o}" "ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
220 ( "{\\\\~o}" "õ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
221 ( "{\\\\^o}" "ô")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
222 ( "{\\\\\"u}" "ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
223 ( "{\\\\`u}" "ù")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
224 ( "{\\\\'u}" "ú")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
225 ( "{\\\\^u}" "û")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
226 ( "{\\\\\"A}" "Ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
227 ( "{\\\\`A}" "À")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
228 ( "{\\\\'A}" "Á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
229 ( "{\\\\~A}" "Ã")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
230 ( "{\\\\^A}" "Â")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
231 ( "{\\\\\"E}" "Ë")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
232 ( "{\\\\`E}" "È")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
233 ( "{\\\\'E}" "É")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
234 ( "{\\\\^E}" "Ê")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
235 ( "{\\\\\"I}" "Ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
236 ( "{\\\\`I}" "Ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
237 ( "{\\\\'I}" "Í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
238 ( "{\\\\^I}" "Î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
239 ( "{\\\\\"O}" "Ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
240 ( "{\\\\`O}" "Ò")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
241 ( "{\\\\'O}" "Ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
242 ( "{\\\\~O}" "Õ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
243 ( "{\\\\^O}" "Ô")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
244 ( "{\\\\\"U}" "Ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
245 ( "{\\\\`U}" "Ù")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
246 ( "{\\\\'U}" "Ú")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
247 ( "{\\\\^U}" "Û")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
248 ( "{\\\\~n}" "ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
249 ( "{\\\\~N}" "Ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
250 ( "{\\\\c c}" "ç")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
251 ( "{\\\\c C}" "Ç")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
252 ( "\\\\\"{a}" "ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
253 ( "\\\\`{a}" "à")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
254 ( "\\\\'{a}" "á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
255 ( "\\\\~{a}" "ã")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
256 ( "\\\\^{a}" "â")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
257 ( "\\\\\"{e}" "ë")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
258 ( "\\\\`{e}" "è")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
259 ( "\\\\'{e}" "é")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
260 ( "\\\\^{e}" "ê")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
261 ( "\\\\\"{\\\\i}" "ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
262 ( "\\\\`{\\\\i}" "ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
263 ( "\\\\'{\\\\i}" "í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
264 ( "\\\\^{\\\\i}" "î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
265 ( "\\\\\"{i}" "ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
266 ( "\\\\`{i}" "ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
267 ( "\\\\'{i}" "í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
268 ( "\\\\^{i}" "î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
269 ( "\\\\\"{o}" "ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
270 ( "\\\\`{o}" "ò")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
271 ( "\\\\'{o}" "ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
272 ( "\\\\~{o}" "õ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
273 ( "\\\\^{o}" "ô")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
274 ( "\\\\\"{u}" "ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
275 ( "\\\\`{u}" "ù")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
276 ( "\\\\'{u}" "ú")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
277 ( "\\\\^{u}" "û")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
278 ( "\\\\\"{A}" "Ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
279 ( "\\\\`{A}" "À")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
280 ( "\\\\'{A}" "Á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
281 ( "\\\\~{A}" "Ã")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
282 ( "\\\\^{A}" "Â")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
283 ( "\\\\\"{E}" "Ë")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
284 ( "\\\\`{E}" "È")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
285 ( "\\\\'{E}" "É")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
286 ( "\\\\^{E}" "Ê")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
287 ( "\\\\\"{I}" "Ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
288 ( "\\\\`{I}" "Ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
289 ( "\\\\'{I}" "Í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
290 ( "\\\\^{I}" "Î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
291 ( "\\\\\"{O}" "Ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
292 ( "\\\\`{O}" "Ò")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
293 ( "\\\\'{O}" "Ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
294 ( "\\\\~{O}" "Õ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
295 ( "\\\\^{O}" "Ô")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
296 ( "\\\\\"{U}" "Ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
297 ( "\\\\`{U}" "Ù")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
298 ( "\\\\'{U}" "Ú")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
299 ( "\\\\^{U}" "Û")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
300 ( "\\\\~{n}" "ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
301 ( "\\\\~{N}" "Ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
302 ( "\\\\c{c}" "ç")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
303 ( "\\\\c{C}" "Ç")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
304 ( "{\\\\ss}" "ß")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
305 ( "{?`}" "¿")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
306 ( "{!`}" "¡")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
307 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
308 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
309
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
310 (defun tex2iso ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
311 "Translate TeX to ISO"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
312 (interactive)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
313 (translate-conventions tex2iso-trans-tab))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
314
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
315 (defvar gtex2iso-trans-tab '(
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
316 ( "\"a" "ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
317 ( "\"A" "Ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
318 ( "\"o" "ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
319 ( "\"O" "Ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
320 ( "\"u" "ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
321 ( "\"U" "Ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
322 ( "\"s" "ß")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
323 ( "\\\\3" "ß")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
324 ( "{\\\\\"a}" "ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
325 ( "{\\\\`a}" "à")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
326 ( "{\\\\'a}" "á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
327 ( "{\\\\~a}" "ã")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
328 ( "{\\\\^a}" "â")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
329 ( "{\\\\\"e}" "ë")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
330 ( "{\\\\`e}" "è")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
331 ( "{\\\\'e}" "é")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
332 ( "{\\\\^e}" "ê")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
333 ( "{\\\\\"\\\\i}" "ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
334 ( "{\\\\`\\\\i}" "ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
335 ( "{\\\\'\\\\i}" "í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
336 ( "{\\\\^\\\\i}" "î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
337 ( "{\\\\\"i}" "ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
338 ( "{\\\\`i}" "ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
339 ( "{\\\\'i}" "í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
340 ( "{\\\\^i}" "î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
341 ( "{\\\\\"o}" "ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
342 ( "{\\\\`o}" "ò")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
343 ( "{\\\\'o}" "ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
344 ( "{\\\\~o}" "õ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
345 ( "{\\\\^o}" "ô")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
346 ( "{\\\\\"u}" "ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
347 ( "{\\\\`u}" "ù")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
348 ( "{\\\\'u}" "ú")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
349 ( "{\\\\^u}" "û")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
350 ( "{\\\\\"A}" "Ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
351 ( "{\\\\`A}" "À")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
352 ( "{\\\\'A}" "Á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
353 ( "{\\\\~A}" "Ã")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
354 ( "{\\\\^A}" "Â")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
355 ( "{\\\\\"E}" "Ë")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
356 ( "{\\\\`E}" "È")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
357 ( "{\\\\'E}" "É")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
358 ( "{\\\\^E}" "Ê")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
359 ( "{\\\\\"I}" "Ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
360 ( "{\\\\`I}" "Ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
361 ( "{\\\\'I}" "Í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
362 ( "{\\\\^I}" "Î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
363 ( "{\\\\\"O}" "Ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
364 ( "{\\\\`O}" "Ò")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
365 ( "{\\\\'O}" "Ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
366 ( "{\\\\~O}" "Õ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
367 ( "{\\\\^O}" "Ô")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
368 ( "{\\\\\"U}" "Ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
369 ( "{\\\\`U}" "Ù")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
370 ( "{\\\\'U}" "Ú")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
371 ( "{\\\\^U}" "Û")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
372 ( "{\\\\~n}" "ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
373 ( "{\\\\~N}" "Ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
374 ( "{\\\\c c}" "ç")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
375 ( "{\\\\c C}" "Ç")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
376 ( "\\\\\"{a}" "ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
377 ( "\\\\`{a}" "à")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
378 ( "\\\\'{a}" "á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
379 ( "\\\\~{a}" "ã")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
380 ( "\\\\^{a}" "â")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
381 ( "\\\\\"{e}" "ë")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
382 ( "\\\\`{e}" "è")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
383 ( "\\\\'{e}" "é")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
384 ( "\\\\^{e}" "ê")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
385 ( "\\\\\"{\\\\i}" "ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
386 ( "\\\\`{\\\\i}" "ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
387 ( "\\\\'{\\\\i}" "í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
388 ( "\\\\^{\\\\i}" "î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
389 ( "\\\\\"{i}" "ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
390 ( "\\\\`{i}" "ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
391 ( "\\\\'{i}" "í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
392 ( "\\\\^{i}" "î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
393 ( "\\\\\"{o}" "ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
394 ( "\\\\`{o}" "ò")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
395 ( "\\\\'{o}" "ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
396 ( "\\\\~{o}" "õ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
397 ( "\\\\^{o}" "ô")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
398 ( "\\\\\"{u}" "ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
399 ( "\\\\`{u}" "ù")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
400 ( "\\\\'{u}" "ú")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
401 ( "\\\\^{u}" "û")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
402 ( "\\\\\"{A}" "Ä")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
403 ( "\\\\`{A}" "À")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
404 ( "\\\\'{A}" "Á")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
405 ( "\\\\~{A}" "Ã")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
406 ( "\\\\^{A}" "Â")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
407 ( "\\\\\"{E}" "Ë")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
408 ( "\\\\`{E}" "È")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
409 ( "\\\\'{E}" "É")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
410 ( "\\\\^{E}" "Ê")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
411 ( "\\\\\"{I}" "Ï")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
412 ( "\\\\`{I}" "Ì")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
413 ( "\\\\'{I}" "Í")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
414 ( "\\\\^{I}" "Î")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
415 ( "\\\\\"{O}" "Ö")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
416 ( "\\\\`{O}" "Ò")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
417 ( "\\\\'{O}" "Ó")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
418 ( "\\\\~{O}" "Õ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
419 ( "\\\\^{O}" "Ô")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
420 ( "\\\\\"{U}" "Ü")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
421 ( "\\\\`{U}" "Ù")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
422 ( "\\\\'{U}" "Ú")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
423 ( "\\\\^{U}" "Û")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
424 ( "\\\\~{n}" "ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
425 ( "\\\\~{N}" "Ñ")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
426 ( "\\\\c{c}" "ç")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
427 ( "\\\\c{C}" "Ç")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
428 ( "{\\\\ss}" "ß")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
429 ( "{?`}" "¿")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
430 ( "{!`}" "¡")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
431 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
432 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
433
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
434 (defvar iso2gtex-trans-tab '(
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
435 ("ä" "\"a")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
436 ("à" "{\\\\`a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
437 ("á" "{\\\\'a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
438 ("ã" "{\\\\~a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
439 ("â" "{\\\\^a}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
440 ("ë" "{\\\\\"e}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
441 ("è" "{\\\\`e}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
442 ("é" "{\\\\'e}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
443 ("ê" "{\\\\^e}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
444 ("ï" "{\\\\\"\\\\i}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
445 ("ì" "{\\\\`\\\\i}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
446 ("í" "{\\\\'\\\\i}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
447 ("î" "{\\\\^\\\\i}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
448 ("ö" "\"o")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
449 ("ò" "{\\\\`o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
450 ("ó" "{\\\\'o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
451 ("õ" "{\\\\~o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
452 ("ô" "{\\\\^o}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
453 ("ü" "\"u")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
454 ("ù" "{\\\\`u}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
455 ("ú" "{\\\\'u}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
456 ("û" "{\\\\^u}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
457 ("Ä" "\"A")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
458 ("À" "{\\\\`A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
459 ("Á" "{\\\\'A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
460 ("Ã" "{\\\\~A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
461 ("Â" "{\\\\^A}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
462 ("Ë" "{\\\\\"E}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
463 ("È" "{\\\\`E}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
464 ("É" "{\\\\'E}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
465 ("Ê" "{\\\\^E}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
466 ("Ï" "{\\\\\"I}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
467 ("Ì" "{\\\\`I}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
468 ("Í" "{\\\\'I}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
469 ("Î" "{\\\\^I}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
470 ("Ö" "\"O")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
471 ("Ò" "{\\\\`O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
472 ("Ó" "{\\\\'O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
473 ("Õ" "{\\\\~O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
474 ("Ô" "{\\\\^O}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
475 ("Ü" "\"U")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
476 ("Ù" "{\\\\`U}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
477 ("Ú" "{\\\\'U}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
478 ("Û" "{\\\\^U}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
479 ("ñ" "{\\\\~n}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
480 ("Ñ" "{\\\\~N}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
481 ("ç" "{\\\\c c}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
482 ("Ç" "{\\\\c C}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
483 ("ß" "\\\\3")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
484 ("¿" "{?`}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
485 ("¡" "{!`}")
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
486 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
487 )
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
488
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
489
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
490
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
491 (defun gtex2iso ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
492 "Translate german TeX to ISO"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
493 (interactive)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
494 (translate-conventions gtex2iso-trans-tab))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
495
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
496
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
497 (defun iso2gtex ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
498 "Translate ISO to german TeX"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
499 (interactive)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
500 (translate-conventions iso2gtex-trans-tab))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
501
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
502
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
503 (defun german-texP ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
504 "Check if tex buffer is german LaTeX"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
505 (save-excursion
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
506 (widen)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
507 (goto-char (point-min))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
508 (re-search-forward "\\\\documentstyle\\[.*german.*\\]" nil t)))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
509
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
510
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
511 (defun fix-iso2tex ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
512 "Turn ISO latin1 into TeX sequences"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
513 (if (equal major-mode 'latex-mode)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
514 (if (german-texP)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
515 (iso2gtex)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
516 (iso2tex)))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
517 (if (equal major-mode 'tex-mode)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
518 (iso2tex)))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
519
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
520 (defun fix-tex2iso ()
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
521 "Turn TeX sequences into ISO latin1"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
522 (if (equal major-mode 'latex-mode)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
523 (if (german-texP)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
524 (gtex2iso)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
525 (tex2iso)))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
526 (if (equal major-mode 'tex-mode)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
527 (tex2iso)))
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
528
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
529 (add-hook 'find-file-hooks 'fix-tex2iso)
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
530 (add-hook 'write-file-hooks 'fix-iso2tex)