annotate lisp/play/handwrite.el @ 70511:cd1e2cf9f28c

* xresmini.texi (GTK resources): Inserted GTK description.
author Jan Djärv <jan.h.d@swipnet.se>
date Sun, 07 May 2006 19:39:28 +0000
parents 836785857446
children 7033930efeb9 c5406394f567
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
24380
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
1 ;;; handwrite.el --- turns your emacs buffer into a handwritten document -*- coding: iso-latin-1; -*-
17449
9a9062be968a Fix FSF address.
Richard M. Stallman <rms@gnu.org>
parents: 16503
diff changeset
2
68634
836785857446 Update copyright notices of all files in the lisp/play directory.
Romain Francoise <romain@orebokech.com>
parents: 65222
diff changeset
3 ;; Copyright (C) 1996, 2002, 2003, 2004, 2005,
836785857446 Update copyright notices of all files in the lisp/play directory.
Romain Francoise <romain@orebokech.com>
parents: 65222
diff changeset
4 ;; 2006 Free Software Foundation, Inc.
17449
9a9062be968a Fix FSF address.
Richard M. Stallman <rms@gnu.org>
parents: 16503
diff changeset
5
38455
802c948ddb3a *** empty log message ***
Pavel Janík <Pavel@Janik.cz>
parents: 38425
diff changeset
6 ;; Author: Danny Roozendaal (was: <danny@tvs.kun.nl>)
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;; Created: October 21 1996
29250
6b4d3f80fd75 Fix finder keywords.
Dave Love <fx@gnu.org>
parents: 24380
diff changeset
8 ;; Keywords: wp, print, postscript, cursive writing
17449
9a9062be968a Fix FSF address.
Richard M. Stallman <rms@gnu.org>
parents: 16503
diff changeset
9
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; This file is part of GNU Emacs.
17449
9a9062be968a Fix FSF address.
Richard M. Stallman <rms@gnu.org>
parents: 16503
diff changeset
11
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; it under the terms of the GNU General Public License as published by
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; the Free Software Foundation; either version 2, or (at your option)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; any later version.
17449
9a9062be968a Fix FSF address.
Richard M. Stallman <rms@gnu.org>
parents: 16503
diff changeset
16
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; GNU Emacs is distributed in the hope that it will be useful,
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; GNU General Public License for more details.
17449
9a9062be968a Fix FSF address.
Richard M. Stallman <rms@gnu.org>
parents: 16503
diff changeset
21
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
17449
9a9062be968a Fix FSF address.
Richard M. Stallman <rms@gnu.org>
parents: 16503
diff changeset
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the
64085
18a818a2ee7c Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 62249
diff changeset
24 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
18a818a2ee7c Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 62249
diff changeset
25 ;; Boston, MA 02110-1301, USA.
17449
9a9062be968a Fix FSF address.
Richard M. Stallman <rms@gnu.org>
parents: 16503
diff changeset
26
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;;; Commentary:
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 ;; The function handwrite creates PostScript output containing a
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;; handwritten version of the current buffer..
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 ;; Other functions that may be useful are
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;; handwrite-10pt: sets the font size to 10 and finds corresponding
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;; values for the line spacing and the number of lines
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;; on a page.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ;; handwrite-11pt: which is similar
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;; handwrite-12pt: which is also similar
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ;; handwrite-13pt: which is similar, too
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ;; handwrite-set-pagenumber: set and unset page numbering
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ;; If you are not satisfied with the type page there are a number of
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 ;; variables you may want to set.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;; Installation
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ;; type at your prompt "emacs -l handwrite.el" or put this file on your
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ;; Emacs-Lisp load path, add the following into your ~/.emacs startup file
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ;; (require 'handwrite)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ;; "M-x handwrite" or "Write by hand" in the edit menu should work now.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 ;; I tried to make it `iso_8859_1'-friendly, but there are some exotic
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ;; characters missing.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ;; Known bugs: -Page feeds do not do their work, but are ignored instead.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ;; -Tabs are not always properly displayed.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ;; -Handwrite may create corrupt PostScript if it encounters
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ;; unknown characters.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 ;; Thanks to anyone who emailed me suggestions!
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 ;;; Code:
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72
65222
7835e6fa14b1 (ps-printer-name, ps-lpr-command): Add defvars.
Juanma Barranquero <lekktu@gmail.com>
parents: 64701
diff changeset
73 (defvar ps-printer-name)
7835e6fa14b1 (ps-printer-name, ps-lpr-command): Add defvars.
Juanma Barranquero <lekktu@gmail.com>
parents: 64701
diff changeset
74 (defvar ps-lpr-command)
7835e6fa14b1 (ps-printer-name, ps-lpr-command): Add defvars.
Juanma Barranquero <lekktu@gmail.com>
parents: 64701
diff changeset
75
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 ;; Variables
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78
21363
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
79 (defgroup handwrite nil
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
80 "Turns your emacs buffer into a handwritten document."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
81 :prefix "handwrite-"
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
82 :group 'games)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
83
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 (defvar handwrite-psindex 0
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
85 "The index of the PostScript buffer.")
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 (defvar menu-bar-handwrite-map (make-sparse-keymap "Handwrite functions."))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 (fset 'menu-bar-handwrite-map (symbol-value 'menu-bar-handwrite-map))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 ;; User definable variables
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91
21363
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
92 (defcustom handwrite-numlines 60
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
93 "*The number of lines on a page of the PostScript output from `handwrite'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
94 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
95 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
96 (defcustom handwrite-fontsize 11
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
97 "*The size of the font for the PostScript output from `handwrite'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
98 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
99 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
100 (defcustom handwrite-linespace 12
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
101 "*The spacing for the PostScript output from `handwrite'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
102 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
103 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
104 (defcustom handwrite-xstart 30
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
105 "*X-axis translation in the PostScript output from `handwrite'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
106 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
107 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
108 (defcustom handwrite-ystart 810
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
109 "*Y-axis translation in the PostScript output from `handwrite'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
110 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
111 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
112 (defcustom handwrite-pagenumbering nil
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
113 "*If non-nil, number each page of the PostScript output from `handwrite'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
114 :type 'boolean
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
115 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
116 (defcustom handwrite-10pt-numlines 65
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
117 "*The number of lines on a page for the function `handwrite-10pt'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
118 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
119 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
120 (defcustom handwrite-11pt-numlines 60
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
121 "*The number of lines on a page for the function `handwrite-11pt'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
122 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
123 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
124 (defcustom handwrite-12pt-numlines 55
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
125 "*The number of lines on a page for the function `handwrite-12pt'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
126 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
127 :group 'handwrite)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
128 (defcustom handwrite-13pt-numlines 50
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
129 "*The number of lines on a page for the function `handwrite-13pt'."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
130 :type 'integer
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 18949
diff changeset
131 :group 'handwrite)
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 ;; Interactive functions
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
135 ;;;###autoload
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
136 (defun handwrite ()
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
137 "Turns the buffer into a \"handwritten\" document.
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
138 The functions `handwrite-10pt', `handwrite-11pt', `handwrite-12pt'
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
139 and `handwrite-13pt' set up for various sizes of output.
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
140
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 Variables: handwrite-linespace (default 12)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 handwrite-fontsize (default 11)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 handwrite-numlines (default 60)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 handwrite-pagenumbering (default nil)"
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 (interactive)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (let
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 ((pmin) ; thanks, Havard
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 (lastp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 (cur-buf (current-buffer))
49598
0d8b17d428b5 Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 45321
diff changeset
150 (tpoint (point))
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (ps-ypos 63)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (lcount 0)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (ipage 1)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 (nlan next-line-add-newlines) ;remember the old value
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 (buf-name (buffer-name) )
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 (textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 (ps-buf-name) ;name of the PostScript buffer
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 )
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 (goto-char (point-min)) ;start at beginning
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 (setq handwrite-psindex (1+ handwrite-psindex))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 (setq ps-buf-name
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 (format "*handwritten%d.ps*" handwrite-psindex))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 (setq next-line-add-newlines t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 (switch-to-buffer ps-buf-name)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 (handwrite-insert-header buf-name)
53417
4748e0ab5cf9 (handwrite): Make the handwrite credit message
Richard M. Stallman <rms@gnu.org>
parents: 52401
diff changeset
166 (insert "%%Creator: GNU Emacs' handwrite version " emacs-version "\n")
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 (handwrite-insert-preamble)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 (handwrite-insert-info)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 (handwrite-insert-font)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 (setq textp (point))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 (insert "%%Page: 1 1\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (insert "Hwjst\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (insert "/Hwsave save def\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 (if handwrite-pagenumbering (insert "20 30 m\nxym(page 1)a\n"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 (insert "44 63 m\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (insert "xym( )a")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (backward-char 3)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 (switch-to-buffer cur-buf)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (goto-char (point-min)) ;start at beginning
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (save-excursion
49598
0d8b17d428b5 Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 45321
diff changeset
181 ;;as long as we see a newline the document is not ended.
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 (while (re-search-forward "\n" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (previous-line 1)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 (beginning-of-line)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (setq pmin (point))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 (search-forward "\n" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (backward-char 1)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 (copy-region-as-kill (point) pmin)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 (forward-char 1)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 (switch-to-buffer ps-buf-name)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 (yank)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (message "write write write...")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (search-forward ")a" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (backward-char 2)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 (setq lastp (point))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 (beginning-of-line)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 (search-forward "(" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 (while (re-search-forward "[()\\]" lastp t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 (save-excursion
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 (setq lastp (+ lastp 1))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (forward-char -1)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 (insert "\\")))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 (setq ps-ypos (+ ps-ypos handwrite-linespace))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 (end-of-line)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (insert "\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 (setq lcount (+ lcount 1))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 (cond ( (eq lcount handwrite-numlines)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 (setq ipage (+ ipage 1))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (insert "0 0 m\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 (insert "showpage exec Hwsave restore\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (insert "%%Page: " (number-to-string ipage) " "
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 (number-to-string ipage) "\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 (insert "Hwjst\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (insert "/Hwsave save def\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 (if handwrite-pagenumbering
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 (insert "20 30 m\nxym(page "
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 (number-to-string ipage) ")a\n"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 (setq ps-ypos 63)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 (setq lcount 0)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 ))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (insert "44 "(number-to-string ps-ypos) " m\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (insert "xym( )a")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 (backward-char 3)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 (switch-to-buffer cur-buf)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 ))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (switch-to-buffer ps-buf-name)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 (next-line 1)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 (insert "showpage exec Hwsave restore\n\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (insert "%%Pages " (number-to-string ipage) " 0\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 (insert "%%EOF\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 (goto-char textp) ;start where the inserted text begins
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (while (search-forward "ÿ" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 (replace-match "\\" nil t) (insert "264"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 (while (search-forward "á" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (replace-match "\\" nil t) (insert "207"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 (while (search-forward "à" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (replace-match "\\" nil t) (insert "210"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (while (search-forward "â" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 (replace-match "\\" nil t) (insert "211"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (while (search-forward "ä" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (replace-match "\\" nil t) (insert "212"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 (while (search-forward "ã" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 (replace-match "\\" nil t) (insert "213"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (while (search-forward "å" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 (replace-match "\\" nil t) (insert "214"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 (while (search-forward "é" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 (replace-match "\\" nil t) (insert "216"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 (while (search-forward "è" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 (replace-match "\\" nil t) (insert "217"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 (while (search-forward "ê" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 (replace-match "\\" nil t) (insert "220"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 (while (search-forward "ë" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 (replace-match "\\" nil t) (insert "221"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 (while (search-forward "í" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266 (replace-match "\\" nil t) (insert "222"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 (while (search-forward "ì" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 (replace-match "\\" nil t) (insert "223"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 (while (search-forward "î" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (replace-match "\\" nil t) (insert "224"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 (while (search-forward "ï" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 (replace-match "\\" nil t) (insert "225"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (while (search-forward "ó" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 (replace-match "\\" nil t) (insert "227"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 (while (search-forward "ò" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 (replace-match "\\" nil t) (insert "230"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 (while (search-forward "ô" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 (replace-match "\\" nil t) (insert "231"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 (while (search-forward "ö" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 (replace-match "\\" nil t) (insert "232"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 (while (search-forward "õ" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 (replace-match "\\" nil t) (insert "233"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 (while (search-forward "ú" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 (replace-match "\\" nil t) (insert "234"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 (while (search-forward "ù" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 (replace-match "\\" nil t) (insert "235"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 (while (search-forward "û" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 (replace-match "\\" nil t) (insert "236"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 (while (search-forward "ü" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (replace-match "\\" nil t) (insert "237"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 (while (search-forward "ß" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 (replace-match "\\" nil t) (insert "247"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 (while (search-forward "°" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 (replace-match "\\" nil t) (insert "241"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 (while (search-forward "®" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 (replace-match "\\" nil t) (insert "250"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 (while (search-forward "©" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 (replace-match "\\" nil t) (insert "251"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 (while (search-forward "ij" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 (replace-match "\\" nil t) (insert "264"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 (while (search-forward "ç" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 (replace-match "\\" nil t) (insert "215"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 (while (search-forward "§" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 (replace-match "\\" nil t) (insert "244"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 (while (search-forward "ñ" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 (replace-match "\\" nil t) (insert "226"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328 (while (search-forward "£" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 (replace-match "\\" nil t) (insert "243"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 ;;To avoid cumbersome code we simply ignore pagefeeds
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 (goto-char textp)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 (while (search-forward "\f" nil t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 (replace-match "" nil t) )
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 (untabify textp (point-max)) ; this may result in strange tabs
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 (if (y-or-n-p "Send this to the printer? ")
24380
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
336 (progn
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
337 (require 'ps-print)
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
338 (let* ((coding-system-for-write 'raw-text-unix)
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
339 (ps-printer-name (or ps-printer-name
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
340 (and (boundp 'printer-name)
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
341 printer-name)))
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
342 (ps-lpr-switches
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
343 (if (stringp ps-printer-name)
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
344 (list (concat "-P" ps-printer-name)))))
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
345 (apply (or ps-print-region-function 'call-process-region)
6ef51f9beabc (handwrite): Require ps-print, and use ps-printer-name and
Eli Zaretskii <eliz@gnu.org>
parents: 21363
diff changeset
346 (point-min) (point-max) ps-lpr-command nil nil nil))))
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 (message "")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 (bury-buffer ())
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 (switch-to-buffer cur-buf)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350 (goto-char tpoint)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 (setq next-line-add-newlines nlan)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 ))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
354
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 (defun handwrite-set-pagenumber ()
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
356 "Toggle the value of `handwrite-pagenumbering'."
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
357 (interactive)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 (if handwrite-pagenumbering
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 (handwrite-set-pagenumber-off)(handwrite-set-pagenumber-on)))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 (defun handwrite-10pt ()
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
362 "Specify 10-point output for `handwrite.
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
363 This sets `handwrite-fontsize' to 10 and finds correct
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
364 values for `handwrite-linespace' and `handwrite-numlines'."
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 (interactive)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 (setq handwrite-fontsize 10)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367 (setq handwrite-linespace 11)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368 (setq handwrite-numlines handwrite-10pt-numlines)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
369 (define-key menu-bar-handwrite-map [10pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
370 '("10 pt *" . handwrite-10pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
371 (define-key menu-bar-handwrite-map [11pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372 '("11 pt" . handwrite-11pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373 (define-key menu-bar-handwrite-map [12pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374 '("12 pt" . handwrite-12pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375 (define-key menu-bar-handwrite-map [13pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 '("13 pt" . handwrite-13pt))
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
377 (message "Handwrite output size set to 10 points"))
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
378
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
379
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380 (defun handwrite-11pt ()
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
381 "Specify 11-point output for `handwrite.
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
382 This sets `handwrite-fontsize' to 11 and finds correct
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
383 values for `handwrite-linespace' and `handwrite-numlines'."
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 (interactive)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
385 (setq handwrite-fontsize 11)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
386 (setq handwrite-linespace 12)
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
387 (setq handwrite-numlines handwrite-11pt-numlines)
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
388 (define-key menu-bar-handwrite-map [10pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389 '("10 pt" . handwrite-10pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
390 (define-key menu-bar-handwrite-map [11pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391 '("11 pt *" . handwrite-11pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 (define-key menu-bar-handwrite-map [12pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 '("12 pt" . handwrite-12pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394 (define-key menu-bar-handwrite-map [13pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
395 '("13 pt" . handwrite-13pt))
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
396 (message "Handwrite output size set to 11 points"))
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 (defun handwrite-12pt ()
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
399 "Specify 12-point output for `handwrite.
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
400 This sets `handwrite-fontsize' to 12 and finds correct
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
401 values for `handwrite-linespace' and `handwrite-numlines'."
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 (interactive)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 (setq handwrite-fontsize 12)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 (setq handwrite-linespace 13)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 (setq handwrite-numlines handwrite-12pt-numlines)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 (define-key menu-bar-handwrite-map [10pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407 '("10 pt" . handwrite-10pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 (define-key menu-bar-handwrite-map [11pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 '("11 pt" . handwrite-11pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 (define-key menu-bar-handwrite-map [12pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 '("12 pt *" . handwrite-12pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 (define-key menu-bar-handwrite-map [13pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
413 '("13 pt" . handwrite-13pt))
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
414 (message "Handwrite output size set to 12 points"))
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 (defun handwrite-13pt ()
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
417 "Specify 13-point output for `handwrite.
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
418 This sets `handwrite-fontsize' to 13 and finds correct
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
419 values for `handwrite-linespace' and `handwrite-numlines'."
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 (interactive)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 (setq handwrite-fontsize 13)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 (setq handwrite-linespace 14)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 (setq handwrite-numlines handwrite-13pt-numlines)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 (define-key menu-bar-handwrite-map [10pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425 '("10 pt" . handwrite-10pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 (define-key menu-bar-handwrite-map [11pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 '("11 pt" . handwrite-11pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 (define-key menu-bar-handwrite-map [12pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 '("12 pt" . handwrite-12pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 (define-key menu-bar-handwrite-map [13pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 '("13 pt *" . handwrite-13pt))
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
432 (message "Handwrite output size set to 13 points"))
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 ;; Internal Functions
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 ;;The header for the PostScript output. The argument is the name of
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 ;;the original buffer
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 (defun handwrite-insert-header (buf-name)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 (insert "%!PS-Adobe-2.0\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 (insert "%%Title: " buf-name "\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 (insert "%%CreationDate: " (current-time-string) "\n" )
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 (insert "%%Pages: (atend)\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 (insert "%%For: " user-mail-address "\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445 (insert "%%EndComments\n"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
446
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
447 ;;Some PostScript definitions for using our font.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
448 (defun handwrite-insert-preamble ()
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
449 (insert "\n%%BeginPreamble
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450 /m {moveto} def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
451 /r {roll} def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
452 /e {exch} def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
453 /a {awidthshow} def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
454 /xym {0.52490 0. 32 0.05249 0.} def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
455 /HwJdict 80 dict def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
456 /Hwfdict 80 dict def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
457 /getsymb {Hwfdict /Jsymb get 3 1 r put} def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
458 /Chread{
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
459 { e begin
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
460 HwJdict begin %read in character specifications
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
461 /jnum e def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
462 /jnum1 jnum 6 mul def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463 save symbstr jnum1 6 getinterval{
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
464 }forall
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
465 /pixvol e def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
466 /pixwid e def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
467 /charwidth e def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
468 /trx e def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469 /try e def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
470 /pixf e def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
471 .02666667 .02666667 scale
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
472 /pixwid pixwid 1.042 mul def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
473 /pixwidn pixwid trx add def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
474 /pixvoln pixvol try add def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
475 charwidth 0 trx try pixwidn pixvoln setcachedevice
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
476 newpath 0 0 m
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
477 pixf 0 gt{
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
478 pixf 3 bitshift
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
479 trx try translate
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
480 pixwid pixvol scale
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
481 /pixvol1 {pixvol 4 add true} def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
482 /pixvol2 pixvol neg def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
483 /pixvol3 pixvol 2 add def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
484 pixvol1 pixwid 0 0 pixvol2 0 pixvol3 6 array astore
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
485 Jsymb jnum get
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
486 imagemask
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
487 }if
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
488 restore
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
489 end
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
490 end
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
491 }def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
492 }def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
493 /Hwjst{
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
494 /Joepie findfont [Hws 0 Hws pop 0 Hws neg 0 0] makefont setfont
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
495 }def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496 %%EndPreamble\n"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
497
45321
f767f3bf5f86 *** empty log message ***
Juanma Barranquero <lekktu@gmail.com>
parents: 38455
diff changeset
498 ;;The font size for the PostScript output.
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
499 ;;Also the x-y-translations of the PostScript stuff.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
500 (defun handwrite-insert-info ()
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
501 (insert "\n%%BeginSizeTranslate\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
502 (insert "/Hws " (number-to-string handwrite-fontsize) " def")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
503 (insert " %The size of the font\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
504 (insert (number-to-string handwrite-xstart)" "
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
505 (number-to-string handwrite-ystart))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
506 (insert " translate %Translate the origin to the current location\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
507 (insert "1 -1 scale %Flip the y coordinate\n")
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508 (insert "%%EndSizeTranslate\n\n"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
509
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
510
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
511 ;;Bitmap PostScript font for pseudo handwritten documents.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
512 ;;Two years ago, I created the 36 points font for my
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513 ;;Apple Macintosh Classic II resulting in unusual ascii numbers.
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
514 (defun handwrite-insert-font ()
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515 (insert "\n%%BeginFont Joepie
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516 Hwfdict begin
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
517 /Jsymb 256 array def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
518 /FontType 3 def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 /FontBBox [0 0 1 1] def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
520 /FontMatrix [1 0 0 1 0 0] def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
521 /Encoding 256 array def
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 end
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
523 <002809000000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
524 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 002809080000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
525 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 002809000000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
526 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
527 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
528 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
529 FF28FFFF0000 FF28FFFF0000 002809080000 020A0E08031E 021C0B0E0A0A
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
530 040C09161418 04050A121323 040D0F1C141B 040C141C0F19 021B0B08060D
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
531 02080B0C091E 0208080C0B20 041A0B100F0C 040E09141314 02060B08060B
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
532 0219090C0C03 020C0B080304 04090C120F1F 04080A121017 020C10120514
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
533 040A09121216 040C09121216 02090B120D15 040C0B121015 040A0A12121B
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
534 020209120D1D 040A09121018 04040A12101C 020C0D080412 020408080717
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
535 040B0B141116 040C0B16140B 040B0B141018 020A0D120C1C 04090B1C191F
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
536 040A091A1C1C 0408071A1E20 040A0B1A1A1E 040E0D201E1A 040C0916181C
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
537 040E0916171A 04010B1C1C27 060A0C20201E 040E060E141A 0401070E1327
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538 040E0A1C1D1A 040C0916181C 060C07262B1C 060C0520261C 04080D1E1C20
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 040A05161C1C 040A0B1E1E1E 040A091A1D1E 040C0914171C 040E07161A1A
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540 060E091E1F1A 040E071A1D1A 060A0B2C2C1E 040808181B20 040409161722
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541 040C08181A1C 020A080A0A1D 040A0610121E 0208090A0A1F 041C0714160A
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
542 040505161903 021B0C0C060D 040C08141713 040C0916181C 040C08121412
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
543 040D0916181B 040C09141615 0202090C0D26 04040814171B 040A0916181E
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
544 020C090A0D1B 0202090A0C23 040A0814171E 020C080A0D1C 060C09222412
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
545 040C08161910 040C08141611 04000816191C 04020914171B 040A090E1014
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
546 040A09101213 040C090C0F1B 040C09161812 040A09121412 040C09181A10
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
547 040C08121511 04020812151C 040C08101312 040A050A0F1E 020A1114031C
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
548 0208070A0E20 04140A141409 FF28FFFF0000 040A071A1B1C 040A091A181C
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
549 040A0B1A171E 020F0F160E16 040A0F201A1E 04080D1E1A20 040E0B1E1D1A
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
550 040C0814171B 040D0714171B 040D0714171A 040D0814171A 040D0814171B
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551 040D0814171B 04000912141C 040C0914151C 040C0914161C 040C0914151C
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
552 040C0914151B 020B070A0D1C 020B070A0D1C 020B080A0D1C 020B070A0D1A
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
553 040C0616191A 040B0714171D 040B08141719 040B0814171A 040B08141718
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 040B08141718 040B0716191B 040B0716191B 040B0716191C 040B08161919
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
555 040A0912111C 02180C0E090C 04050712141F 040A0816151C 04080A121220
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
556 020F0A120E10 040408181522 04040816191D 040A0D201A1E 040A09201C1C
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
557 06190B24210E 021C0B0C0708 0221090E0D03 040809141415 040C121E1619
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
558 04080F1E1920 04130F1A1309 040C0B141216 04090914141E 040A0914131B
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
559 040209161823 04030A161519 020B0B120E19 0407091A1921 040A0B1E141E
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
560 040C0914140F 0401090C0F25 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
561 FF28FFFF0000 040A0B14121A 04010910101B FF28FFFF0000 040A0614181C
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
562 040A09141618 0407090E1221 040D0A141510 002800160000 04080A141119
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
563 04080614151A 040A0B1E1804 FF28FFFF0000 040A071A1B1D 040A071A191D
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
564 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 041408141303 061409262404
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
565 041A0B120F0B 021D0B120D0A 021E0E0A050A 021E0B0A060A FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
566 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 040600060F1C FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
567 020C0A0C0B16 020D080C0C17 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
568 02140B0A0506 02040908060E FF28FFFF0000 0608092A291E FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
569 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
570 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
571 040A0B1C181B 060C071E221C FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
572 FF28FFFF0000 021D0C0E0C08 021E090E0C06 0421060E1105 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
573 021F0A0A0506 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000 FF28FFFF0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
574 041E09101107>
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
575 Hwfdict begin /symbstr e def end
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
576 255< 00000000 00000000 80018000 60030000 38060000 0E1C0000 03F00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
577 01C00000 01800000 00000000 00000000>getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
578 250< 0000 0000 6000 7800 7800 F800 F800 7000 0000 0000>getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
579 248< 00000000 00000000 F8000000 3F800000 03F80000 007E0000 00038000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
580 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
581 247< 0000 0000 0030 0060 38E0 7FC0 C300 8000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
582 246< 0000 0000 0C00 1E00 3F00 3380 60C0 4040 C020 0010 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
583 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
584 241< 000000000000 000000000000 008000000000 00C000000000 03C000000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
585 038000000000 000000000000 000000000000 000000000000 000000000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
586 010000000000 010000000000 010007C00000 03001FE00000 070038700000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
587 070030300000 0F0060300000 1B00C0700000 3300C0600000 6300C0C0C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
588 C300C3818000 030046030000 03007C020000 0300F0060000 0180F00C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
589 018198180000 01C30C300000 00CE06300000 00FC03E00000 007801C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
590 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
591 240< 00000000 00000000 00004000 0003C000 00038000 000E0000 000C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
592 00080000 00180000 0E187C00 1F98FC00 3FDCFF00 3FFFFF00 7FFFFE00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
593 7FFFFC00 FFFFF800 FFFFF000 FFFFF000 FFFFF000 FFFFF000 FFFFF000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
594 FFFFFC00 7FFFFC00 7FFFFF00 3FFFFF00 1FFFFE00 0FFFFE00 07FFF800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
595 03F3F000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
596 228< 000000000000 000000000000 03C010000000 07C0F0000000 1C7330000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
597 383F20000000 303040000000 2030C0000000 6030C0000000 C01080000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
598 C01180000000 C03100000000 406300000000 604200000000 60C40E000080
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
599 71843F01E080 3F0CE183B180 1E0880CE1F00 001180FA0600 003100460600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
600 0023004C0200 0047004C0300 004B004C0300 00B300CC0300 00E300CC0200
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
601 01C1818C0200 03C1830C0600 0380830C0C00 0600FE061800 1C007C03F000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
602 180000000000 300000000000 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
603 226< 0000 0000 2000 1800 1800 0C00 0C00 0C00 0C00 0C00 0C00 1800 1000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
604 3000 6000 8000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
605 225< 0000 0000 7000 E800 F800 F800 F000 F000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
606 221< 0000 0000 8000 E000 3000 1C00 0E00 0700 0380 01C0 01C0 00E0 0030
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
607 0030 0030 0060 00C0 0180 0300 0200 0600 0C00 1800 3000 4000 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
608 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
609 220< 0000 0000 0060 0040 00C0 0180 0300 0600 0C00 1C00 3000 7000 6000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
610 C000 4000 6000 3000 3000 1800 1C00 0E00 0600 0300 0100 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
611 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
612 218< 00000000 00000000 00020000 00060000 000E0000 000C0000 000C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
613 00180000 00180000 00100000 00300000 00200000 00200000 00400000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
614 00C00000 00C00000 01800000 01800000 03000000 03000000 06000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
615 06000000 0C000000 1C000000 18000000 38000000 30000000 70000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
616 60000000 C0000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
617 213< 0000 0000 2000 1800 0C00 0400 0400 0C00 1800 3000 6000 8000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
618 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
619 212< 0000 0000 0800 3000 6000 C000 C000 C000 6000 3000 1000 0800 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
620 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
621 211< 0000 0000 0040 1020 0810 0C18 0C18 1818 3010 4030 8060 0040 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
622 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
623 210< 00000000 00000000 00060000 04180000 18300000 30600000 60C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
624 C0C00000 C0C00000 C0C00000 C0400000 40200000 20000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
625 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
626 209< 000000000000 000000000000 FFF000000000 0FFFC0000000 000FFFFE0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
627 000007FFF000 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
628 208< 00000000 00000000 FFC00000 7FFF8000 007FE000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
629 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
630 204< 00000000 00000000 00000200 00038C00 0007F800 001CF000 00380000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
631 00200000 00000000 00000000 00080000 00060000 00030000 00078000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
632 0007C000 000CE000 001CF000 00303000 00303E00 003FF800 00FF1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
633 00400C00 00C00C00 01800600 01800600 03000300 06000300 1C000380
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
634 30000380 60000380 E0000700 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
635 203< 00000000 00000000 00300000 00180000 000E0000 00038000 0003C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
636 0000E000 0000F000 00001800 00060800 00030000 00038000 00078000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
637 000EC000 000C6000 00182000 00302000 00703000 01FC3000 00FFF800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
638 01807F80 03800E00 07000200 06000200 0E000300 1C000100 38000180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
639 600000C0 C0000060 C0000060 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
640 201< 00000000 00000000 80180600 E03C0700 E07C0700 703C0E00 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
641 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
642 200< 00000000 00000000 00100000 00180000 E00C0000 30060000 18060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
643 0C070000 0E018000 0E01C000 0780C000 03806000 00E07000 00E03000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
644 00703800 00303800 00607000 00606000 01C0C000 0180C000 03018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
645 06070000 0C060000 380C0000 30080000 00100000 00200000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
646 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
647 199< 00000000 00000000 00010000 00620000 00C60000 018C0000 03180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
648 06180000 0C300000 18600000 10600000 70C00000 60C00000 E1C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
649 61C00000 30E00000 38600000 18300000 1C100000 0E080000 070C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
650 03060000 01C30000 00C30000 00438000 00418000 00008000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
651 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
652 197< 00000000 00000000 00003800 0000F000 0C038000 3F870000 70FE0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
653 603C0000 C0000800 80001000 00003000 03802000 0FE06000 38F06000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
654 701CC000 600F8000 60078000 00030000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
655 196< 00000000 00000000 0001C000 001F8000 00380000 00600000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
656 00400000 00400000 00C00000 00C00000 00C00000 00C00000 00CC0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
657 00980000 01F00000 0F800000 0D800000 01800000 01800000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
658 01800000 01800000 01800000 01800000 01800000 01800000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
659 01800000 01800000 03000000 02000000 06000000 8C000000 78000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
660 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
661 195< 00000000 00000000 00000400 00001800 0003F000 00078000 00060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
662 00040000 000C0000 000C0000 600C0000 F00C0000 300C0000 18180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
663 18180000 18180000 08100000 08300000 0C300000 0C600000 0C600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
664 0C400000 0DC00000 07800000 07000000 02000000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
665 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
666 194< 00000000 00000000 03018000 0F07C000 188C6000 10C83000 20701800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
667 60300C00 40200600 C0200300 C0000300 C0000300 40000300 40000300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
668 60000300 60000600 20000C00 30000800 10001800 18003000 0C006000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
669 0C00C000 06018000 03070000 010C0000 00980000 00F00000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
670 00400000 00400000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
671 192< 00000000 00000000 00C00000 00E00000 00C00000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
672 00000000 00C00000 00C00000 00600000 00600000 00C00000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
673 03000000 06000000 1C000000 38000000 60000000 60040000 C0060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
674 C0020000 C0010000 E0030000 70060000 380C0000 1C3C0000 0FF80000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
675 07E00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
676 191< 00000000 00000000 06000000 1F000000 318C0000 609F0000 60B38000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
677 60E18000 40418000 C040C000 C000C000 C000C000 C000C000 C0018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
678 40030000 60060000 600C0000 30180000 30100000 18300000 18600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
679 08400000 0CC00000 0C800000 05800000 03000000 03000000 02000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
680 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
681 186< 00000000 00000000 00060000 001C0000 00F80000 01F00000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
682 03800000 03800000 07000000 07000000 07000000 07000000 07000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
683 07000000 07000000 07000000 07000000 07000000 07000000 07000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
684 0F000000 0F000000 0F000000 0F000000 0F000000 0F000000 0F000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
685 0E000000 0E000000 0E000000 0E000000 0E000000 0E000000 0E000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
686 8C000000 FC000000 F8000000 30000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
687 185< 00000000 00000000 00004000 7C003000 FF003000 CF806000 CDC0C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
688 0CFF0000 0C1F0000 0C030000 0C030000 0C030000 0C030000 0C010000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
689 0C018000 3800D000 30006000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
690 184< 00000000 00000000 1FC00000 7FFC0000 EE0F0000 83038000 0301C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
691 0180C000 01806000 01802000 01803000 01803000 01803000 01803000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
692 01803000 01803000 01806000 0180E000 0181C000 018F8000 03FC0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
693 0FE00000 03000000 03000000 03000000 03000000 06000000 06000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
694 06000000 06000000 06000000 06000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
695 183< 00000000 00000000 000FF800 003FFE00 00F00700 03C00180 0F000080
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
696 07000000 03C00000 01E00000 00780000 001E0000 00070000 0001C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
697 0000E000 00007000 0000F800 0001C000 00038000 00060000 000C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
698 00380000 00700000 00E00000 01C00000 03800080 0F000180 1C000180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
699 38000180 70000300 E0000300 FC000600 7FFC0C00 03FFF800 0003F000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
700 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
701 182< 0000 0000 0F00 3F80 40E0 8070 0038 0018 000C 000C 000C 000C 038C
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
702 0FEC 1C3C 301C 201C 600C 600C 600C 600C 6008 6018 6030 3060 1FC0 0F80
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
703 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
704 181< 00000000 00000000 0600C000 0600C000 0600C000 0600C000 06008000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
705 06018000 06018000 0E018000 0E018000 0E018000 0E038000 0E038000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
706 0E038800 1E079800 1B0DF000 19F8E000 10F04000 30000000 30000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
707 30000000 30000000 60000000 60000000 40000000 80000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
708 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
709 180< 00000000 00000000 08000000 0C030000 0C038000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
710 00000000 00000000 04030000 0C030000 0C030000 18030000 38030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
711 30030000 70060300 F0060600 301C0C00 301C0C00 303C1800 186C3000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
712 1C6C6000 0CCC6000 078CC000 030D8000 000F0000 000E0000 003C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
713 007C0000 00CC0000 018C0000 030C0000 030C0000 03180000 03300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
714 01E00000 00C00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
715 179< 00000000 00000000 38000000 0E000000 03800000 00C00000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
716 00300000 001C0000 00070000 0003C000 00018000 00030000 00060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
717 001C0000 00780000 00C00000 01800000 07000000 0E000000 18000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
718 00000000 000FE000 1FFF0000 7FE00000 00000000 00000000 3FFFC000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
719 FFFF8000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
720 178< 00000000 00000000 00018000 00070000 000C0000 00180000 00700000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
721 01C00000 07000000 0C000000 38000000 60000000 C0000000 E0000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
722 30000000 18000000 0E000000 07000000 01C00000 00E00000 00380000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
723 001C0000 00070000 00000000 00000000 3FFFF000 0FFFE000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
724 00000000 0FE00000 07FF8000 001FE000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
725 177< 00000000 00000000 01000000 03000000 03000000 03000000 03000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
726 03000000 03000000 03000000 FFF80000 FFFF0000 03000000 03000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
727 03000000 01800000 01800000 01800000 01800000 01800000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
728 00000000 FFFFC000 0FFFC000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
729 176< 00000000 00000000 000F0000 003FC000 3C60E000 7EC06000 C1806000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
730 C180C000 61FF8000 7F1F0000 1E000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
731 175< 00000000 00000000 00000300 00000600 00000400 001FEC00 00783800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
732 00E03C00 03806600 06006200 0E004300 0C00C300 0C018180 0C018180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
733 18030180 18020180 18060180 180C0180 18080180 18180180 18300300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
734 18700300 18E00200 09800600 0D000C00 0F000800 07003800 0780F000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
735 0DFFC000 0C7F0000 18000000 30000000 60000000 C0000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
736 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
737 174< 00000000 00000000 00FF0000 03C1C000 0700E000 1C003000 30001000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
738 70001800 60001800 60000C00 60000C00 C0000C00 C0000C00 C0000C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
739 C0000C00 C0000C00 C0000C00 C0001800 C0001800 C0001000 40003000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
740 60006000 70004000 3801C000 1C078000 0FFE0000 03F80000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
741 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
742 173< 00000000 00000000 00040000 000C0000 000C0000 000C0000 00180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
743 001FF000 07FFC000 3FF80000 78300000 00600000 00600000 00C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
744 00FFE000 3FFFC000 FFC00000 01800000 01800000 03000000 03000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
745 06000000 04000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
746 172< 0000 0000 E038 6038 C030 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
747 171< 0000 0000 0600 1C00 3000 6000 4000 C000 C000 8000 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
748 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
749 170< 000000000000 000000000000 000F20000000 01F82C700000 FF803EF80000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
750 FF00638C0000 6300630C0000 330063040000 130063060000 1B0063060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
751 0B00C3060000 0B00C3060000 0B00C3068000 0E0183028000 060101038000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
752 000000030000 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
753 169< 00000000 00000000 0000F800 0003FC00 003F1E00 00F80700 03800180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
754 06000180 1C0000C0 300000C0 3007C0C0 601FF0E0 60301820 60200C30
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
755 C0600430 C0C00030 C0C00030 C0C00030 C0C00030 C0C02030 C0402030
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
756 C0606030 6030C020 603F8060 380E01C0 3C000300 03001E00 03C03C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
757 00FFE000 00FF0000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
758 168< 00000000 00000000 00078000 000FC000 000CE000 000C7000 007E1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
759 00FC0C00 07C00E00 0F800700 0C060300 1C9F8300 30B0C180 30C0C180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
760 70C1C180 E0C38080 C0FF00C0 C0FC00C0 C1C800C0 C1CC00C0 C30E01C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
761 C3030180 E2038300 6201C300 30000700 30000E00 38003C00 1C007800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
762 0E00E000 0F03C000 07FF8000 01FC0000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
763 167< 00000000 00000000 00070000 003F8000 0C70C000 1EC04000 1E804000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
764 1700C000 37018000 36030000 360C0000 661F0000 66018180 C6008300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
765 0600C600 0600CC00 0600D800 0600F000 0600E000 0600C000 0E038000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
766 0E0E0000 0C180000 0C200000 0C000000 0C000000 08000000 08000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
767 10000000 10000000 10000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
768 166< 00000000 00000000 00060000 00038000 01F0C000 07AFE000 3FBDF000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
769 5F5C3000 4FFC3000 5FFC3000 BFFC1000 FFFC1000 7FFC1000 7FFC1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
770 7FF81800 7FF81800 FFF81800 FFF80800 7FF80800 7FF80800 3FF80800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
771 00580800 00180800 00180800 00181800 00181800 00181800 00181000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
772 00183000 00182000 00186000 00186000 0018C000 001CC000 000F8000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
773 00078000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
774 165< 0000 0000 3000 4F00 9FC0 FFE0 FFF0 7FF8 FFF8 FFF8 FFF8 FFFC 9FE4
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
775 AFE4 4FD8 7FF0 2700 1E00 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
776 164< 00000000 00000000 00F00000 01FC0000 03060000 06020000 06000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
777 07000000 03200000 01C00000 07F00000 1C1C0000 30060000 60030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
778 C0018000 C0018000 C0018000 E0070000 700C0000 1E780000 07E00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
779 03F00000 06380000 081C0000 000C0000 00060000 00030000 00018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
780 0400C000 0400C000 06018000 03038000 01FE0000 00F00000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
781 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
782 163< 00000000 00000000 00018000 0007C000 001C6000 00303000 00601800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
783 00600800 00400000 00C00000 00C00000 00C00000 00C00000 00C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
784 00C00000 00C00000 1FC00000 03FE0000 01FFC000 01C00000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
785 0180E000 03013000 07001800 06001800 0C001000 18002000 3FC0E000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
786 F07FC000 601F0000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
787 162< 00000000 00000000 00180000 00300000 00200000 00600000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
788 00600000 00600000 01F00000 07F80000 0CCC0000 08C40000 18C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
789 30C00000 70800000 F1801000 31803000 31806000 31804000 3180C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
790 31818000 19818000 19830000 0D8E0000 07980000 01F00000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
791 01000000 01000000 03000000 03000000 02000000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
792 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
793 161< 0000 0000 3C00 6600 6300 4180 C180 C080 C080 E180 FF00 4C00 6000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
794 3000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
795 160< 00000000 00000000 00C00000 00C00000 00C00000 00C00000 00C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
796 00C00000 00C00000 00C00000 01C00000 E1C00000 FFE00000 07FC0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
797 01CF8000 01800000 01800000 01800000 01800000 01800000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
798 01800000 01800000 01800000 01800000 01800000 01800000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
799 01800000 01000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
800 159< 00000000 00000000 01000000 0300C000 0300C000 00006000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
801 00000000 00000000 00000000 00008000 04008000 0E018000 3B018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
802 63010000 43010180 C3030300 02030600 06030400 06030C00 06030C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
803 06070800 06059800 060D9800 06189000 03F0F000 01E06000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
804 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
805 158< 00000000 00000000 00100000 00780000 01CE0000 03870000 06018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
806 0400C000 08006000 00002000 00000000 00000000 00000000 00004000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
807 00004000 0C018000 1E018000 33030000 63030180 C3030300 03030600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
808 06030600 06030400 06070C00 06070C00 06051800 06091800 07191000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
809 03F1F000 01E0E000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
810 157< 00000000 00000000 01800000 00C00000 00F00000 00300000 00180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
811 000C0000 00060000 00000000 00000000 00000000 00008000 00018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
812 00018000 3C018000 7E018000 43018180 C3010300 03030600 06030600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
813 06030C00 06070C00 06070C00 06059800 060D9800 07089000 03F8F000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
814 01F06000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
815 156< 00000000 00000000 00007000 0001C000 00030000 000E0000 00380000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
816 00200000 00E00000 00000000 00000000 00004000 0E00C000 1E00C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
817 13018000 33018000 63030000 43030180 C3030300 03030600 06030600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
818 06070C00 06070C00 060F0C00 06099800 06199800 07309000 03E0F000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
819 01C06000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
820 155< 00000000 00000000 00C0C000 01E38000 11370000 0E1E0000 04000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
821 00000000 00000000 00F00000 03FC0000 071E0000 0E070000 38018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
822 7801C600 D801EC00 1801B800 18018000 18018000 0C018000 0C018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
823 06010000 06030000 03060000 01FC0000 00F00000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
824 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
825 154< 00000000 00000000 0C040000 0C0E0000 100E0000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
826 00000000 00000000 00F00000 03FC0000 079E0000 0F070000 3F038000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
827 7203C600 C6017C00 06013000 06018000 0E018000 0C018000 0C010000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
828 06030000 06060000 030C0000 01F80000 00F00000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
829 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
830 153< 00000000 00000000 00C00000 00600000 00F00000 01BC0000 030E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
831 06070000 18018000 1000E000 00000000 00F00000 03FC0000 079E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
832 1F070000 3C038000 7803C600 D8016C00 18013800 18018000 18018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
833 0C018000 0C010000 06030000 06060000 030C0000 01F80000 00F00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
834 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
835 152< 00000000 00000000 06000000 07000000 01C00000 00780000 003C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
836 00070000 00000000 00000000 00F00000 03FC0000 071E0000 1C030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
837 38038000 7801C600 D8016C00 18013800 18018000 18018000 08018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
838 0C010000 0C030000 06060000 030C0000 01F80000 00F00000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
839 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
840 151< 00000000 00000000 00010000 00020000 000C0000 00180000 00300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
841 00E00000 03800000 00000000 00000000 00000000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
842 00F00000 03FC0000 079C0000 1C060000 38030000 7801C600 D8016C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
843 18013800 18018000 18018000 1C018000 0C030000 0C020000 0C060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
844 060C0000 07F80000 01F00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
845 150< 00000000 00000000 00000600 00E00C00 01B83800 010E6000 0603C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
846 0C000000 00000000 00000000 00000000 00000000 00000000 0F1C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
847 3FBF0000 31B38000 61E18000 C1C18180 81818180 01818300 01818300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
848 01818600 03018600 07018400 06018C00 0600CC00 06007800 06003000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
849 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
850 149< 0000 0000 1800 3830 3878 0070 0000 0000 0000 0000 0C00 1800 1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
851 3000 3000 7008 F018 B030 3060 3060 30C0 30C0 3180 3180 1B00 1E00 1C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
852 0800 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
853 148< 0000 0000 0300 0780 0D80 18C0 3040 2060 2030 4030 0018 0000 0C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
854 1800 1800 3000 3000 7008 F018 B030 3060 3060 30C0 30C0 3180 3180 1B00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
855 1E00 1C00 0800 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
856 147< 0000 0000 8000 E000 7000 1800 0C00 0700 0780 0000 0000 0000 0C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
857 1800 1800 3000 3000 7008 F018 B030 3060 3060 30C0 30C0 3180 3180 1B00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
858 1E00 1C00 0800 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
859 146< 0000 0000 0018 0030 0060 01C0 0300 0E00 1C00 0000 0000 0000 0C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
860 1800 1800 3000 3000 7008 F018 B030 3060 3060 30C0 30C0 3180 3180 1B00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
861 1E00 1C00 0800 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
862 145< 00000000 00000000 301C0000 380C0000 30000000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
863 00000000 00000000 03E00000 0FF00000 1C180000 30180000 60180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
864 40300000 C0600000 C0C00000 C7800000 FE001800 F0001000 60003000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
865 30006000 3000C000 18018000 0C030000 0C060000 061C0000 03F80000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
866 00E00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
867 144< 00000000 00000000 03E00000 0FF80000 300E0000 20030000 40010000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
868 C0000000 00000000 00000000 03E00000 07300000 0C180000 180C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
869 300C0000 200C0000 60380000 60E00000 67C00000 FE001800 60003000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
870 60006000 3000C000 30018000 10030000 18060000 0C0C0000 06380000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
871 03F00000 01C00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
872 143< 00000000 00000000 38000000 0C000000 07000000 01800000 00C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
873 00400000 00000000 00000000 01C00000 07E00000 0C300000 18180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
874 30080000 30380000 60E00000 C3800000 CE000000 F8000C00 F0001800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
875 60003000 30006000 3000C000 18018000 08030000 0C060000 060C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
876 03F80000 01E00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
877 142< 00000000 00000000 001C0000 00780000 00C00000 00800000 03000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
878 02000000 00000000 00000000 07800000 1FC00000 30600000 60300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
879 60300000 40600000 C1C00000 C7800000 9E000000 F0000800 C0001800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
880 C0003000 60006000 2000C000 30018000 18030000 080E0000 0C180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
881 07F00000 03C00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
882 141< 00000000 00000000 03E00000 0FF00000 18180000 30080000 60000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
883 60003000 40006000 C000C000 C0008000 C0018000 C0018000 C0030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
884 40030000 60020000 30060000 1F0C0000 07F80000 00E00000 00C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
885 00400000 00780000 001C0000 00040000 04060000 06060000 03060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
886 030C0000 01F80000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
887 140< 00000000 00000000 00F00000 01F80000 02880000 00880000 00D80000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
888 00700000 00000000 00000000 01E08000 03F98000 060D8000 0C070000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
889 18060000 10060000 30060000 70060000 E0060600 E00C0400 600C0C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
890 600C1800 201C1000 30163000 30366000 18366000 18624000 0FC3C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
891 07818000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
892 139< 00000000 00000000 00004000 00008000 0E030000 339E0000 40F00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
893 00000000 00000000 00000000 01E08000 03F98000 060D8000 0C070000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
894 18060000 10060000 30060000 70060000 E0060600 E00C0400 600C0C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
895 600C1800 201C1000 30163000 30366000 18366000 18624000 0FC3C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
896 07818000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
897 138< 00000000 00000000 00080000 040C0000 1C0C0000 18000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
898 00000000 00000000 01E08000 03F98000 060D8000 0C070000 18060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
899 10060000 30060000 70060000 E0060600 E00C0400 600C0C00 600C1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
900 201C1000 30163000 30366000 18366000 18624000 0FC3C000 07818000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
901 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
902 137< 00000000 00000000 00F00000 031C0000 0E060000 18038000 00008000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
903 00000000 00000000 01E08000 03F98000 060D8000 0C070000 18060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
904 10060000 30060000 70060000 E0060600 E00C0400 600C0C00 600C1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
905 201C1000 30163000 30366000 18366000 18624000 0FC3C000 07818000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
906 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
907 136< 00000000 00000000 10000000 0C000000 04000000 06000000 03000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
908 01800000 00000000 00000000 01E08000 03F98000 060D8000 0C070000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
909 18060000 10060000 30060000 70060000 E0060600 E00C0400 600C0C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
910 600C1800 201C1000 30163000 30366000 18366000 18624000 0FC3C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
911 07818000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
912 135< 00000000 00000000 00030000 000E0000 00180000 00300000 00400000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
913 00000000 00000000 00000000 01E08000 03F98000 060D8000 0C070000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
914 18060000 10060000 30060000 70060000 E0060600 E00C0400 600C0C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
915 600C1800 201C1000 30163000 30366000 18366000 18624000 0FC3C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
916 07818000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
917 134< 00000000 00000000 38003800 38003800 30001800 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
918 20000000 60001800 60001800 60001800 C0001800 C0001800 C0001800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
919 C0003000 C0003000 C0006000 C0006000 C000C000 C001C018 C001C030
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
920 C003C060 6006C060 600C60C0 30186180 3C303300 0FE01E00 07C00C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
921 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
922 133< 00000000 00000000 0F878000 1FCFC000 307CF800 303C3C00 30300C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
923 30300600 30300300 30300300 30300300 30300300 30300700 60300E00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
924 C031FC00 C073F800 C0FF0000 C0FF0000 C0C30000 C0C30000 C0C18000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
925 C0C0C000 C0C0E000 C0C07000 E0C03000 E0C03800 70C00E00 30C00E00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
926 30C00300 30C00300 38C00380 1CC00180 0F8000C0 0F000040 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
927 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
928 132< 00000000 00000000 0F000100 1F800100 30E00300 30700300 30700300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
929 30700300 20580300 204C0300 20CC0380 60CC01C0 E0CE00C0 E0C700C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
930 C0C300C0 C0C300C0 C0C381C0 C0C1C380 C0C0C300 C0C0C300 C0C0C300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
931 C0C0C300 C0C06300 C0C06300 C0C03300 C0C03300 C0C03F00 C0C01F00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
932 C0C00F00 C1C00F00 FF800F00 3F000600 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
933 131< 0000 0000 000C 0018 0030 00E0 0380 0000 1FC0 09FC 181C 1000 3000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
934 2000 7F00 6FE0 E000 C000 C000 8000 C000 F000 3E00 07F0 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
935 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
936 130< 00000000 00000000 003FC000 00FFE000 07F03000 0FC03800 1F000C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
937 3B000E00 33000000 73000000 63000000 63000000 C3000000 C3000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
938 C3000000 C3000000 C3000000 C3000000 C3000000 C3000000 C3000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
939 C3000000 C3000000 C3000000 C6000000 CC000200 7C000C00 3C001C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
940 07003000 03807000 01FFE000 00FF8000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
941 129< 00000000 00000000 000F0000 001F8000 0030C000 0030C000 0010C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
942 001F0000 00000000 00000000 000C0000 000E0000 000E0000 000F0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
943 00338000 00338000 0040C000 00C0C000 00FFC000 00FFE000 0101E000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
944 03003000 04003800 0C003800 10000C00 30000C00 60000E00 60000E00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
945 C0000600 C0000700 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
946 128< 00000000 00000000 00C00000 00E0E000 00E0E000 0070F000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
947 00000000 00000000 00000000 00030000 00030000 00038000 0003C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
948 000CE000 000CF000 00383000 00303800 0037FC00 003FBC00 00C00C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
949 00C00E00 03000700 03000300 0C000380 0C000180 3C0000C0 380000C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
950 E0000060 C0000060 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
951 126< 00000000 00000000 00001000 00003000 00004000 1C018000 3E030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
952 63060000 819C0000 00F00000 00600000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
953 125< 0000 0000 0780 1FE0 3870 0030 0030 0030 0030 0030 0030 0070 0060
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
954 0040 0060 0030 0018 001C 0070 0060 0040 00C0 00C0 00C0 00C0 00C0 00C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
955 0060 0020 0030 C030 7060 1DE0 0F80 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
956 124< 0000 0000 6000 6000 6000 6000 6000 6000 6000 6000 6000 6000 6000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
957 6000 6000 6000 6000 C000 C000 C000 C000 C000 C000 C000 C000 C000 C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
958 C000 C000 4000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
959 123< 00000000 00000000 00F80000 03FC0000 07020000 06000000 0C000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
960 0C000000 0C000000 0C000000 0C000000 0C000000 18000000 18000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
961 70000000 E0000000 38000000 0C000000 0C000000 0C000000 0C000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
962 0C000000 0C000000 0C000000 18000000 18000000 30000000 30000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
963 30040000 183C0000 1CF00000 07800000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
964 122< 00000000 00000000 03020000 078E0000 0CFC0000 186C0000 30080000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
965 30180000 60300000 C0306000 0060C000 0040C000 00C18000 00818000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
966 01830000 01030000 03060000 078C0000 0CF80000 18300000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
967 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
968 121< 00000000 00000000 0600C000 0600C000 0C00C000 1C00C000 3C018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
969 38038000 78038000 D8031800 18031000 18073000 180F2000 181B6000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
970 1C334000 0E62C000 07C78000 00070000 00060000 000E0000 001E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
971 00360000 00660000 00C60000 01860000 01860000 01840000 018C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
972 00F80000 00700000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
973 120< 00000000 00000000 0C000000 1E030000 1B078000 330C8000 31180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
974 61B00000 C1B01800 01A03000 01E02000 00C06000 00C04000 00C0C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
975 01C08000 63418000 36670000 3C3E0000 18180000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
976 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
977 119< 00000000 00000000 18004000 38084000 6C186000 4C186000 CC186040
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
978 08183980 18183F00 18183600 18183000 18383000 18683000 18682000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
979 0C4C2000 0ECC6000 0386C000 01838000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
980 118< 00000000 00000000 18180000 3C1C0000 6C0C0000 4E0E0000 C6073000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
981 0607E000 0606C000 0C020000 0C030000 0C030000 0C030000 0C030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
982 0C060000 040C0000 06180000 06300000 03E00000 01800000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
983 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
984 117< 00000000 00000000 00004000 0E00C000 1E00C000 13018000 33018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
985 63030000 43030000 C3030300 03030600 06030600 06070C00 06070C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
986 060F0C00 06099800 06199800 07309000 03E0F000 01C06000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
987 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
988 116< 00000000 00000000 00100000 00300000 00300000 00700000 00F00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
989 01B00000 01300000 03300000 06200000 06200000 0C600000 18600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
990 18400000 30400000 60400000 C6460000 0F4C0000 11580000 10F00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
991 1FC00000 0CC00000 00800000 00800000 00800000 00800000 00800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
992 00800000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
993 115< 00000000 00000000 00C00000 01C00000 07600000 1C600000 30300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
994 60304000 C010C000 00198000 00198000 001B0000 000F0000 000E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
995 000C0000 00180000 00300000 00600000 18C00000 0F800000 07000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
996 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
997 114< 00000000 00000000 0C100000 1E300000 33F00000 31900000 60300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
998 60600000 C0410000 80C20000 01860000 030C0000 03180000 03180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
999 03300000 06300000 06200000 06600000 06400000 06C00000 07800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1000 03000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1001 113< 00000000 00000000 00004000 00FCC000 03FEC000 0F06C000 3C03C200
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1002 78018600 D8018400 10038C00 30078C00 30058800 300D9800 30099800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1003 30119800 38333000 18633000 0FC23000 07062000 00066000 00064000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1004 000CC000 000CC000 000D8000 000D0000 000D0000 000F0000 000E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1005 00060000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1006 112< 00000000 00000000 00380000 0C7C0000 1EC60000 36C20000 67830000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1007 67030180 C6010300 06018600 06018400 0E018C00 0C008800 0C00D800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1008 0C007000 0C002000 0C000000 0C000000 0C000000 18000000 18000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1009 18000000 18000000 18000000 18000000 18000000 18000000 18000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1010 10000000 10000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1011 111< 00000000 00000000 00F00000 03FC0000 079E0000 1F070000 3C038000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1012 7803C000 D8016C00 18013800 18018000 18018000 0C018000 0C010000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1013 06030000 06060000 030C0000 01F80000 00F00000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1014 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1015 110< 00000000 00000000 0E0E0000 1F1F0000 33B30000 21A18000 61E18000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1016 C1C18180 81818180 01818300 03018300 03018600 07018600 06018400
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1017 0E018C00 0C00CC00 0C007800 0C003000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1018 109< 000000000000 000000000000 000000E00000 060001F00000 0F1E01300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1019 19BF03180000 31E382180000 31C0C6180000 6180C4180000 C180CC183000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1020 8180C8186000 0180D8186000 0180F018C000 0180E0198000 0380C0190000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1021 0300C01B0000 0601800E0000 0601800E0000 060180040000 060180000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1022 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1023 108< 0000 0000 0700 0F80 08C0 18C0 18C0 18C0 30C0 30C0 30C0 3080 3180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1024 3300 3600 3600 3C00 3800 3008 7018 F030 B020 3060 3040 30C0 30C0 3080
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1025 1980 1F00 0E00 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1026 107< 00000000 00000000 00300000 00F80000 018C0000 018C0000 030C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1027 030C0000 03180000 03300000 03600000 03C00000 03800000 03000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1028 07000000 0F000000 1B1E0000 323F0000 66618000 C6C18600 86C30C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1029 078E1800 07383000 07E03000 07806000 06C06000 0C60C000 0C20C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1030 0C318000 18330000 181E0000 180C0000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1031 106< 0000 0000 0080 0300 0300 0000 0000 0600 0600 0600 0E00 1E00 1600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1032 3600 6610 C630 8660 06C0 0780 0700 0600 0E00 1E00 3600 6600 6600 C600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1033 C600 C600 C600 C600 C600 CC00 CC00 CC00 7800 3000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1034 105< 0000 0000 0600 0600 0200 0000 0000 0000 0000 0000 0000 0C00 1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1035 1800 3000 3000 7008 F018 B030 3060 3060 30C0 30C0 3180 3180 1B00 1E00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1036 1C00 0800 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1037 104< 00000000 00000000 01E00000 03300000 03180000 02180000 06180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1038 06180000 06180000 06300000 06200000 06600000 06C00000 07800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1039 07000000 0E000000 1E000000 36000000 66000000 C6000300 06380600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1040 067C0600 06C60C00 07830C00 07030C00 06031800 06031800 06031800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1041 0C033000 0C033000 1801E000 1800C000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1042 103< 00000000 00000000 00300000 00F88000 038D8000 06070000 0C030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1043 18070000 38070000 780F0000 D81B0600 98330C00 18331800 18633000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1044 0CC36000 0783C000 03078000 000F0000 003B0000 00630000 00C30000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1045 01830000 03060000 06060000 06060000 060C0000 06180000 03F00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1046 01E00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1047 102< 0000 0000 0380 07C0 0CC0 08C0 18C0 18C0 1980 1980 1900 1B00 1A00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1048 1C00 1C00 1800 3800 3800 5800 D818 1C70 1FC0 1E00 1B00 1980 18C0 18C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1049 1860 1860 1860 1860 1860 1860 1860 1860 18C0 18C0 0C80 0F80 0700 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1050 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1051 101< 00000000 00000000 03E00000 0FF80000 1C1C0000 300C0000 200C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1052 600C0000 60380000 40E00000 C7800000 DE000400 F0000C00 E0001800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1053 60003000 30006000 3000C000 18018000 08030000 0C060000 079C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1054 03F80000 00E00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1055 100< 00000000 00000000 00004000 00004000 00004000 0000C000 0000C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1056 0000C000 0000C000 00018000 00018000 00018000 01E18000 07F18000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1057 0C1B8000 181F0000 180F0000 30060000 70060000 F0020300 B0060600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1058 30060400 300E0C00 300B0C00 101B1800 18319800 0C61B000 07C1F000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1059 0380E000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1060 99< 00000000 00000000 01F00000 07380000 0E0C0000 0C040000 18000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1061 30000000 70000000 F0001000 30003000 30006000 30004000 3000C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1062 30018000 18018000 18030000 0E0E0000 07380000 01F00000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1063 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1064 98< 00000000 00000000 00600000 00F00000 01980000 010C0000 030C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1065 030C0000 03180000 02100000 06300000 06600000 07C00000 07000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1066 06000000 0E000000 1E000000 36000000 66008000 C600C300 0601FE00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1067 0601B800 02018000 03018000 03018000 01010000 01830000 00C60000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1068 007C0000 00380000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1069 97< 00000000 00000000 01E08000 03F98000 060D8000 0C070000 18060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1070 10060000 30060000 70060000 E0060600 E00C0400 600C0C00 600C1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1071 201C1000 30163000 30366000 18366000 18624000 0FC3C000 07818000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1072 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1073 96< 0000 0000 1800 3000 3000 6000 6000 C000 C000 C000 C000 6000 3000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1074 1800 0400 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1075 95< 00000000 00000000 FF800000 3FFFFF00 00FFFF80 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1076 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1077 94< 00000000 00000000 00700000 01F80000 038C0000 06060000 1C030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1078 3001C000 6000E000 C0003000 00001800 00000C00 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1079 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1080 93< 0000 0000 3FC0 FFC0 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1081 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0 00C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1082 00C0 00C0 0180 0180 3F80 7F00 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1083 92< 00000000 00000000 E0000000 70000000 30000000 18000000 18000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1084 0C000000 0C000000 0E000000 06000000 06000000 03000000 03000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1085 01800000 01800000 00C00000 00C00000 00400000 00600000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1086 00200000 00300000 00180000 00180000 00180000 000C0000 000E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1087 00060000 00070000 00038000 0000C000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1088 91< 0000 0000 7800 7F00 63C0 6000 6000 6000 6000 6000 6000 6000 6000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1089 6000 6000 6000 6000 6000 6000 6000 C000 C000 C000 C000 C000 C000 C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1090 C000 E000 7C00 7F00 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1091 90< 00000000 00000000 0C01F000 3E07B000 630C2000 41F86000 8070C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1092 00018000 00030000 00060000 00040000 000C0000 00180000 00180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1093 00300000 07E00000 00FC0000 00C00000 00800000 01800040 030000C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1094 03000180 06000180 06000300 0C780600 09F80600 1B0F0C00 1E039800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1095 3C00F000 70007000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1096 89< 00000000 00000000 00002000 00002000 20002000 70006000 C8006000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1097 CC006000 CC00C000 8C00C000 0C00C000 0C00C000 0C00C000 0C00C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1098 0C01C000 0C01C000 0403C000 0602C000 0602C600 0604CC00 021CD800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1099 03F0F000 01C0E000 0001C000 0003C000 0006C000 000CC000 0018C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1100 0030C000 00608000 00418000 00C30000 00860000 008C0000 00D80000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1101 00700000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1102 88< 00000000 00000000 1F000000 31C00C00 30601E00 30303300 30387100
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1103 18186000 0C18C000 000CC000 000C8000 000D8000 000F8000 000F0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1104 000F0000 00070000 00060000 00060000 00060000 00060000 00060060
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1105 000600C0 00060080 000F0180 400F0180 C01F0180 C0198100 C0318300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1106 6030C300 20604200 30C06600 1C803C00 0F801800 03000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1107 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1108 87< 000000000000 000000000000 100000000000 780000000000 4C0000000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1109 8C0000000000 0C0030000000 0C00300000C0 0C00600001A0 0C0060000100
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1110 0C0060000300 0C0060000300 0C00C0000300 0C00C0000300 1800C0000300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1111 1800C0000300 1001C0000600 3001C0000600 3003C0000C00 3003C0000C30
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1112 3006C0001860 300CC00030C0 3018C00020C0 3018C0006180 3030C000C380
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1113 1830C0018700 1860C0019C00 0CC0C003F800 0F80600FE000 0600703E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1114 00003FF00000 00000FC00000 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1115 86< 00000000 00000000 30000100 78000380 CC0003F0 8C000360 0C000300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1116 0C000300 0C000300 0C000300 0C000600 0C000600 0C000600 0C000600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1117 0C000C00 06000C00 06000C00 06000C00 06001800 06001818 06001070
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1118 060011E0 06003F80 06007C00 0300F000 0187C000 01FF0000 00780000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1119 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1120 85< 000000000000 000000000000 300003000000 780003000000 CC0003000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1121 8C0003000000 0C0003000000 0C0003000000 180006000000 180006000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1122 180006000000 300006000000 300006000000 300006000000 30000C000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1123 30000C000000 300018000000 300018000000 300030000000 300070060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1124 3000700C0000 3000F0180000 1801B0180000 180318300000 0C0618600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1125 0F0C0CC00000 03F807800000 01F003000000 000000000000 000000000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1126 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1127 84< 00000000 00000000 0F800100 3FC00200 607E0C00 803FF800 000CE000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1128 000C0000 000C0000 000C0000 00060000 00060000 00030000 00030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1129 00030000 00030000 00030000 00030000 000300C0 00030180 02030300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1130 02030300 02030600 03030C00 01833800 01C7F000 00FF8000 003C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1131 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1132 83< 00000000 00000000 00F00000 01FC0000 031E0000 02030000 06018000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1133 0600C000 06004000 06004000 06008000 03000000 03800000 00F00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1134 003C0000 000F0000 00038000 00018000 0000C600 00006400 00006C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1135 00003800 00003000 20007000 70006000 9C00C000 06038000 030F0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1136 03FC0000 01F80000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1137 82< 00000000 00000000 020FE000 033FF800 03F80C00 03C00600 07000300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1138 0F000300 1B000300 3B000300 33000600 33000C00 63003800 6300E000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1139 43038000 C30F0000 C3FC0000 C3FE0000 C3070018 C6070030 CC038060
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1140 4C01C0C0 7C00C080 7C006180 38006180 38006100 38003300 38003300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1141 38001E00 38001E00 30000C00 10000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1142 81< 00000000 00000000 001FE000 007FF000 01C03800 03001C00 06000C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1143 0C000C00 0C000C00 18000C00 18000600 10000600 30000300 30000300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1144 30000300 30000300 60000300 60000200 60000600 C0000600 C000060C
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1145 C000060C C0000C18 C0000C18 C0001830 603C3020 304E7060 3083C040
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1146 1C01E0C0 0E037180 03FE1F00 00FC0E00 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1147 80< 00000000 00000000 03FC0000 0FFF0000 3C01C000 7C007000 4C003800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1148 8C001800 0C000C00 0C000C00 0C000C00 0C000C00 06000C00 06000800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1149 06001800 06003000 261FE000 1FFF8030 0F800060 060000C0 06000180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1150 06000300 06000E00 06003800 0600F000 0603C000 0C0F0000 0C3C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1151 0FF00000 1FC00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1152 79< 00000000 00000000 00FE0000 01FF8000 0700C000 0E00C000 0C006000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1153 18003000 30003000 30003000 70003000 60001800 40001C00 C0000C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1154 C0000C00 C0000C00 C0000600 C0000600 C0000700 C0000730 C00006E0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1155 C0000600 60000600 60000600 30000400 30000C00 30001800 18003000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1156 0C006000 0C00C000 06018000 060F0000 03FC0000 00F00000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1157 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1158 78< 000000000000 000000000000 1E0380000000 3F07E0000000 631C38000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1159 81B81C000000 00F00C000000 00E006000000 00C002000000 00C003000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1160 00C003000000 01C003000000 018003000000 018003000000 030003000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1161 030003000000 030003800000 030001800000 030001800400 030001800800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1162 030001801800 060001803000 060000806000 0C0000C0C000 0C0000C0C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1163 0C0000C18000 0C0000C30000 0C0000C60000 0000007C0000 000000380000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1164 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1165 77< 000000000000 000000000000 070180000000 1F83C0000000 7186600F0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1166 E0C6703F8000 00C43030C000 00CC1860C000 00CC18606000 00C808C06000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1167 00F80CC02000 00F006803000 00F007803000 00E007803000 00E003803000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1168 00E003003000 00E003003000 00E003006000 00E003006000 00E003006060
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1169 00E0030060C0 00E0030060C0 00E003006180 00E003006180 00E003006100
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1170 00E003006300 00C001006200 00C001006600 00C001003C00 00C001001800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1171 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1172 76< 00000000 00000000 00300000 00780000 004C0000 00CC0000 00CC0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1173 00CC0000 00CC0000 00D80000 00F00000 00E00000 01C00000 03C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1174 0EC00000 38C00000 60C00000 C0C00000 00C00000 00C00300 00C00600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1175 00C00C00 00C00C00 00C01800 0FE01800 1FF03000 31B83000 331C6000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1176 1E07C000 0C038000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1177 75< 00000000 00000000 18300060 3C7800C0 664C0300 43CC0600 838C1C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1178 010C3800 000C6000 000CC000 000F8000 000F0000 00098000 0018C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1179 00186000 00186000 00183000 00183000 00183018 00301830 00301830
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1180 00201860 00600C60 20C00CC0 218004C0 330006C0 1E000380 0C000300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1181 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1182 74< 00000000 00000000 00040000 180E0000 3E1B0000 23198000 63318000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1183 C1B18000 C1E18000 80C18000 80018000 00030000 00030000 00060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1184 00060000 00060000 00060000 00062000 00066000 0006C000 00078000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1185 00070000 00060000 000C0000 001C0000 003C0000 006C0000 00CC0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1186 018C0000 030C0000 060C0000 0C0C0000 0C0C0000 0C0C0000 0C0C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1187 0C180000 0C180000 06180000 03980000 03F80000 00F00000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1188 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1189 73< 00000000 00000000 000C0000 1C3C0000 36660000 63C60000 41860000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1190 80060000 80060000 00060000 00060000 000C0000 000C0000 000C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1191 000C0000 000C0000 000C0000 00180000 00183000 00186000 00186000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1192 0018C000 80198000 801F0000 C03C0000 60700000 3FC00000 1F800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1193 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1194 72< 000000000000 000000000000 000001800000 000007C00000 1C100C600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1195 3E3808600000 67D818600000 439818600000 801818400000 801818C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1196 001818800000 001819800000 00181F000000 00181C000000 001878000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1197 001BF0000000 007E30000000 00F830000000 019830000000 031860030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1198 061860060000 0618600C0000 0C18600C0000 181860180000 181860180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1199 181060300000 183030300000 186030600000 0FC018600000 070008C00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1200 00000F800000 000007000000 000000000000 000000000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1201 71< 00000000 00000000 00180000 00FF0000 03C78000 0600E000 0C003000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1202 18001000 30000000 30000000 60000000 E0000000 C0000000 C0000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1203 C0000000 C0000000 C0000000 60008000 60018000 30038030 30078060
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1204 180F80C0 081D8380 0C310700 07E31C00 03C37000 0003C000 001F8000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1205 007F0000 01E30000 03830000 07030000 06060000 0C060000 0C040000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1206 0C0C0000 0C180000 0C100000 06300000 03E00000 01C00000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1207 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1208 70< 00000000 00000000 0801FC00 0C0FF800 3FFE0000 FFF00000 8C000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1209 0C000000 0C000000 04000000 06000000 06000000 03000000 0303F000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1210 03FF8000 03FC0000 03000000 02000000 06000000 06000600 04000C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1211 0C001800 0C003000 0C00E000 18078000 180F0000 1FF80000 3FE00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1212 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1213 69< 00000000 00000000 03FC0000 07FF0000 1C038000 3C01C000 3000C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1214 30004000 30000000 38000000 1E000000 0E000000 03F00000 01F80000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1215 03800000 0E000000 18000000 30000000 60000000 60000300 C0000600
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1216 C0000600 C0000C00 C0000C00 C0001800 70003000 3800E000 1E01C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1217 07FF0000 01FC0000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1218 68< 00000000 00000000 07FE0000 1FFF8000 3060C000 30C06000 30C03000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1219 19801800 19800800 0D000C00 07000400 07000600 03000300 03800300
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1220 06C00300 06600300 06300300 061C0300 0C06030C 0C038318 1C01C670
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1221 18007FC0 30003F00 3E001800 3B803000 71F0E000 C03FC000 C01F8000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1222 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1223 67< 00000000 00000000 007F8000 01FFE000 07007000 0C003000 18001800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1224 38001800 30001800 60003000 60006000 6011C000 C01F0000 C0060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1225 C0000000 C0000000 C0000000 C0000000 C0000000 C0000000 C00000C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1226 C0000180 C0000180 60000300 60000300 60000600 30000C00 38003800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1227 1E00E000 0F03C000 01FF0000 00FE0000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1228 66< 00000000 00000000 03FC0000 0FFF0000 1B818000 2300C000 0300C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1229 0300C000 0300C000 06018000 06038000 060F0000 041C0000 04700000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1230 0CF00000 0C1C0000 0C0F0000 0C078000 0C00C000 0C00600C 0C003018
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1231 0C003818 0C001C30 0C000C30 0C000CE0 0C000DC0 18001F00 18001E00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1232 30003800 30007000 F800C000 7F018000 47FF0000 00FE0000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1233 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1234 65< 00000000 00000000 001E0400 007F0C00 01C1C800 0300E800 06003800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1235 0C003000 18003000 10003000 30003000 60006000 60006000 60006000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1236 C0006000 C0006000 C000C000 C000C030 C000C060 C000C0C0 4000C180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1237 6000C300 2001C300 3001C600 3803C600 1802CC00 0C06CC00 06046C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1238 039C7800 00F83000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1239 64< 00000000 00000000 001F0000 00FFE000 07C0F000 0F001800 1C000C00
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1240 18000C00 30000700 70000300 60000180 60000180 400E0180 401F8180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1241 C030C180 C070C180 C0C04180 C1C0C180 C180C180 8300C180 C301C180
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1242 C3018100 43018300 61018300 2186EE00 30CE7C00 107C0000 18000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1243 0C000000 06000000 0300E000 01FFC000 007E0000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1244 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1245 63< 0000 0000 1E00 3F00 6180 C0C0 8060 8020 C030 6030 1030 0020 0060
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1246 00C0 0180 0300 0200 0400 0C00 0800 1800 1000 3000 3000 1800 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1247 0000 1800 1C00 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1248 62< 00000000 00000000 C0000000 60000000 30000000 18000000 0C000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1249 06000000 03000000 01800000 00C00000 00600000 00380000 001C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1250 00060000 00030000 00070000 001C0000 00700000 01C00000 07000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1251 0E000000 38000000 60000000 C0000000 80000000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1252 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1253 61< 00000000 00000000 FFE00000 FFFFF000 001FF000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1254 00000000 00000000 00000000 00000000 FFFFC000 FFFFC000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1255 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1256 60< 00000000 00000000 00018000 000F0000 00380000 00E00000 03800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1257 06000000 0C000000 10000000 30000000 E0000000 60000000 20000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1258 30000000 18000000 0C000000 06000000 03000000 01800000 00E00000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1259 00380000 000E0000 00038000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1260 59< 0000 0000 1800 3800 3000 2000 0000 0000 0000 0000 0000 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1261 0000 0000 0000 0C00 0600 0600 0600 0600 1C00 3000 E000 8000 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1262 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1263 58< 0000 0000 6000 F000 C000 C000 0000 0000 0000 0000 0000 0000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1264 0000 0000 0000 0000 8000 F000 E000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1265 57< 00000000 00000000 03F00000 0FFC0000 180E0000 38060000 60020000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1266 C0030000 C0030000 C0030000 C0030000 C0030000 C0020000 40060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1267 60060000 601E0000 30340000 18640000 0FEC0000 078C0000 00080000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1268 00080000 00180000 00180000 00100000 80300000 C0300000 70600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1269 1FC00000 0F000000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1270 56< 00000000 00000000 007C0000 00C60000 01820000 03030000 03010000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1271 03010000 03010000 03030000 01030000 01030000 03860000 0F8E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1272 18F80000 30700000 60100000 60180000 60080000 C0080000 C0080000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1273 C0180000 40180000 60300000 3FE00000 0FC00000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1274 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1275 55< 0000 0000 0008 3078 78F8 CC98 8798 0710 0030 0030 0020 0060 0040
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1276 00C0 0080 3980 0FE0 03F8 0300 0300 0600 0600 0600 0C00 0800 1800 3000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1277 6000 6000 4000 4000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1278 54< 00000000 00000000 00040000 001C0000 00300000 00E00000 01800000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1279 03000000 06000000 0C000000 08000000 18F00000 33F80000 360E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1280 6C070000 78010000 60018000 60018000 C000C000 C000C000 C000C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1281 C0008000 C0018000 60010000 30030000 18060000 1C0C0000 0F180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1282 03F00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1283 53< 00000000 00000000 01FF0000 03FF0000 03000000 03000000 06000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1284 06000000 06000000 06000000 06000000 03C00000 00F80000 001C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1285 000E0000 00030000 00030000 00030000 000E0000 E01C0000 70300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1286 3FE00000 0F800000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1287 52< 0000 0000 8018 8018 C018 C018 C018 C018 C018 FF18 3FF8 01F8 0030
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1288 0030 0070 0060 0060 0060 00E0 00C0 00C0 0080 0080 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1289 51< 00000000 00000000 01E00000 07F00000 0E180000 0C0C0000 000C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1290 000C0000 00180000 00300000 00600000 00C00000 00780000 001E0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1291 00070000 00018000 0001C000 0000C000 8000C000 C0018000 C0070000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1292 7C0E0000 3FF80000 03F00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1293 50< 00000000 00000000 07800000 1FC00000 38600000 70300000 C0300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1294 80100000 00100000 00100000 00300000 00300000 00200000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1295 00C00000 01800000 01000000 03000000 06000000 06000000 0F004000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1296 1DC08000 307F8000 303E0000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1297 49< 0000 0000 3000 7800 9800 1800 1800 1800 1800 1800 1800 1800 1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1298 3000 3000 3000 3000 3000 3000 3000 3000 3000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1299 48< 00000000 00000000 00E00000 03F80000 0E180000 180C0000 30060000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1300 30060000 60020000 E0030000 C0030000 C0030000 C0030000 C0030000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1301 C0030000 C0030000 C0020000 60060000 60060000 20040000 300C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1302 18180000 0C180000 07F00000 01E00000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1303 47< 00000000 00000000 00040000 00060000 000C0000 000C0000 00180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1304 00180000 00180000 00300000 00300000 00200000 00600000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1305 00C00000 00C00000 01800000 01800000 03000000 03000000 06000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1306 06000000 0C000000 0C000000 18000000 18000000 38000000 30000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1307 60000000 60000000 60000000 C0000000 80000000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1308 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1309 46< 0000 0000 8000 C000 E000 C000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1310 45< 0000 0000 F000 7FF0 07F0 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1311 44< 0000 0000 1000 1800 0C00 0C00 0C00 0C00 0800 1800 3000 6000 8000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1312 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1313 43< 00000000 00000000 00100000 00100000 00300000 00300000 00300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1314 00300000 00300000 0033E000 3FFFC000 FFFC0000 00300000 00300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1315 00300000 00300000 00300000 00300000 00600000 00600000 00400000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1316 00400000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1317 42< 00000000 00000000 30180000 18300000 0C600000 04C00000 0FFE0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1318 3FF80000 EC600000 86200000 06300000 03180000 03000000 01000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1319 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1320 41< 0000 0000 6000 F000 1C00 0E00 0300 0180 0080 00C0 00C0 00C0 00C0
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1321 00C0 0060 0060 0060 0060 0060 0060 0060 00C0 00C0 00C0 00C0 00C0 0080
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1322 0180 0380 0300 0600 0C00 1800 7000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1323 40< 0000 0000 0700 0E00 1800 3000 2000 6000 6000 6000 6000 6000 C000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1324 C000 C000 C000 C000 C000 C000 C000 6000 6000 6000 6000 3000 3000 1800
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1325 1800 0C00 0600 0700 0380 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1326 39< 0000 0000 2000 3000 1800 1800 0C00 0C00 0C00 1800 3000 3000 6000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1327 4000 8000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1328 38< 00000000 00000000 0F000000 1F800000 30C00000 20600000 20300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1329 30300000 18200000 18400000 0CC00000 05800000 0F000000 1F000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1330 19820000 30C20000 60660000 602C0000 C0380000 C0300000 C0300000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1331 C0780000 60680000 61CC0000 3F0C0000 1E040000 00060000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1332 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1333 37< 00000000 00000000 0E03C000 3FDF8000 61F30000 60C70000 C0C60000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1334 C0CC0000 618C0000 630C0000 3E180000 0C300000 00300000 00600000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1335 00600000 00C00000 01C00000 03800000 0307C000 060FE000 0C3C2000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1336 18F03000 31E03000 37603000 6CC03000 78C06000 E0F0C000 C07FC000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1337 000F0000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1338 36< 00000000 00000000 01040000 03040000 030C0000 030C0000 030C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1339 037C0000 03DE0000 0F0F0000 0E0D8000 1A0C8000 360C0000 260C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1340 260C0000 1E0C0000 1FCC0000 07FC0000 043C0000 040E0000 8C0F8000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1341 CC0FC000 7C0C4000 1C0C6000 0E0CE000 0FFFC000 0CFE0000 0C180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1342 0C180000 0C180000 0C180000 0C180000 0C100000 08100000 08100000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1343 08100000 00100000 00000000 00000000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1344 35< 00000000 00000000 00430000 00430000 00C30000 00C30000 00C30000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1345 00C30000 00C3F000 00FFF000 1FFF0000 3F870000 018C0000 018C0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1346 018C0000 018C0000 030C0000 030FC000 7FFFC000 FFF80000 06180000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1347 06180000 06180000 0C180000 0C180000 0C100000 00000000 00000000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1348 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1349 34< 0000 0000 8300 6180 30C0 10C0 10C0 10C0 3180 6300 C000 8000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1350 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1351 33< 0000 0000 4000 6000 6000 6000 6000 6000 6000 6000 6000 6000 6000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1352 6000 6000 6000 6000 6000 E000 C000 C000 C000 C000 C000 C000 8000 0000
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1353 0000 0000 C000 C000 4000 0000 0000 >getsymb
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1354 Hwfdict begin
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1355 /BuildChar
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1356 Chread
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1357 end
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1358 /Joepie Hwfdict definefont
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1359 %%EndFont Joepie\n\n"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1360
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1361 ;;Sets page numbering off
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1362 (defun handwrite-set-pagenumber-off ()
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1363 (setq handwrite-pagenumbering nil)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1364 (define-key menu-bar-handwrite-map
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1365 [numbering]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1366 '("Page numbering Off" . handwrite-set-pagenumber))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1367 (message "page numbering off"))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1368
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1369 ;;Sets page numbering on
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1370 (defun handwrite-set-pagenumber-on ()
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1371 (setq handwrite-pagenumbering t)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1372 (define-key menu-bar-handwrite-map
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1373 [numbering]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1374 '("Page numbering On" . handwrite-set-pagenumber))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1375 (message "page numbering on" ))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1376
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1377
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1378 ;; Key bindings
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1379
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1380
49598
0d8b17d428b5 Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 45321
diff changeset
1381 ;;; I'd rather not fill up the menu bar menus with
18949
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
1382 ;;; lots of random miscellaneous features. -- rms.
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
1383 ;;;(define-key-after
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
1384 ;;; (lookup-key global-map [menu-bar edit])
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
1385 ;;; [handwrite]
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
1386 ;;; '("Write by hand" . menu-bar-handwrite-map)
eff111be9c5b Many doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 17976
diff changeset
1387 ;;; 'spell)
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1388
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1389 (define-key menu-bar-handwrite-map [numbering]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1390 '("Page numbering Off" . handwrite-set-pagenumber))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1391
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1392 (define-key menu-bar-handwrite-map [10pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1393 '("10 pt" . handwrite-10pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1394
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1395 (define-key menu-bar-handwrite-map [11pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1396 '("11 pt *" . handwrite-11pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1397
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1398 (define-key menu-bar-handwrite-map [12pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1399 '("12 pt" . handwrite-12pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1400
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1401 (define-key menu-bar-handwrite-map [13pt]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1402 '("13 pt" . handwrite-13pt))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1403
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1404 (define-key menu-bar-handwrite-map [handwrite]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1405 '("Write by hand" . handwrite))
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1406
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1407 (define-key-after
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1408 (lookup-key menu-bar-handwrite-map [ ])
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1409 [handwrite-separator1]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1410 '("----" . nil)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1411 'handwrite)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1412
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1413 (define-key-after
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1414 (lookup-key menu-bar-handwrite-map [ ])
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1415 [handwrite-separator2]
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1416 '("----" . nil)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1417 '10pt)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1418
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1419
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1420 (provide 'handwrite)
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1421
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1422
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49598
diff changeset
1423 ;;; arch-tag: f2285ae9-e41b-4c96-8343-87dce41e44b7
16502
acd70710c78c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1424 ;;; handwrite.el ends here