|
29077
|
1 |
The Isabelle font has been assembled with FontForge
|
|
|
2 |
(http://fontforge.sourceforge.net), composing glyphs from existing
|
|
|
3 |
(free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono.
|
|
|
4 |
|
|
|
5 |
----------------------------------------------------------------------------
|
|
|
6 |
|
|
|
7 |
Computer Modern PostScript Fonts
|
|
|
8 |
(Adobe Type 1 format)
|
|
|
9 |
2001/06/06
|
|
|
10 |
|
|
|
11 |
-----------------------------------------------------------------------------
|
|
|
12 |
The PostScript Type 1 implementation of the Computer Modern fonts produced by
|
|
|
13 |
and previously distributed by Blue Sky Research and Y&Y, Inc. are now freely
|
|
|
14 |
available for general use. This has been accomplished through the cooperation
|
|
|
15 |
of a consortium of scientific publishers with Blue Sky Research and Y&Y.
|
|
|
16 |
Members of this consortium include:
|
|
|
17 |
|
|
|
18 |
Elsevier Science
|
|
|
19 |
IBM Corporation
|
|
|
20 |
Society for Industrial and Applied Mathematics (SIAM)
|
|
|
21 |
Springer-Verlag
|
|
|
22 |
American Mathematical Society (AMS)
|
|
|
23 |
|
|
|
24 |
In order to assure the authenticity of these fonts, copyright will be held
|
|
|
25 |
by the American Mathematical Society. This is not meant to restrict in any
|
|
|
26 |
way the legitimate use of the fonts, such as (but not limited to) electronic
|
|
|
27 |
distribution of documents containing these fonts, inclusion of these fonts
|
|
|
28 |
into other public domain or commercial font collections or computer
|
|
|
29 |
applications, use of the outline data to create derivative fonts and/or
|
|
|
30 |
faces, etc. However, the AMS does require that the AMS copyright notice be
|
|
|
31 |
removed from any derivative versions of the fonts which have been altered in
|
|
|
32 |
any way. In addition, to ensure the fidelity of TeX documents using Computer
|
|
|
33 |
Modern fonts, Professor Donald Knuth, creator of the Computer Modern faces,
|
|
|
34 |
has requested that any alterations which yield different font metrics be
|
|
|
35 |
given a different name.
|
|
|
36 |
|
|
|
37 |
----------------------------------------------------------------------------
|
|
|
38 |
----------------------------------------------------------------------------
|
|
|
39 |
|
|
|
40 |
Bitstream Vera Fonts Copyright
|
|
|
41 |
|
|
|
42 |
The fonts have a generous copyright, allowing derivative works (as
|
|
|
43 |
long as "Bitstream" or "Vera" are not in the names), and full
|
|
|
44 |
redistribution (so long as they are not *sold* by themselves). They
|
|
|
45 |
can be be bundled, redistributed and sold with any software.
|
|
|
46 |
|
|
|
47 |
The fonts are distributed under the following copyright:
|
|
|
48 |
|
|
|
49 |
Copyright
|
|
|
50 |
=========
|
|
|
51 |
|
|
|
52 |
Copyright (c) 2003 by Bitstream, Inc. All Rights Reserved. Bitstream
|
|
|
53 |
Vera is a trademark of Bitstream, Inc.
|
|
|
54 |
|
|
|
55 |
Permission is hereby granted, free of charge, to any person obtaining
|
|
|
56 |
a copy of the fonts accompanying this license ("Fonts") and associated
|
|
|
57 |
documentation files (the "Font Software"), to reproduce and distribute
|
|
|
58 |
the Font Software, including without limitation the rights to use,
|
|
|
59 |
copy, merge, publish, distribute, and/or sell copies of the Font
|
|
|
60 |
Software, and to permit persons to whom the Font Software is furnished
|
|
|
61 |
to do so, subject to the following conditions:
|
|
|
62 |
|
|
|
63 |
The above copyright and trademark notices and this permission notice
|
|
|
64 |
shall be included in all copies of one or more of the Font Software
|
|
|
65 |
typefaces.
|
|
|
66 |
|
|
|
67 |
The Font Software may be modified, altered, or added to, and in
|
|
|
68 |
particular the designs of glyphs or characters in the Fonts may be
|
|
|
69 |
modified and additional glyphs or characters may be added to the
|
|
|
70 |
Fonts, only if the fonts are renamed to names not containing either
|
|
|
71 |
the words "Bitstream" or the word "Vera".
|
|
|
72 |
|
|
|
73 |
This License becomes null and void to the extent applicable to Fonts
|
|
|
74 |
or Font Software that has been modified and is distributed under the
|
|
|
75 |
"Bitstream Vera" names.
|
|
|
76 |
|
|
|
77 |
The Font Software may be sold as part of a larger software package but
|
|
|
78 |
no copy of one or more of the Font Software typefaces may be sold by
|
|
|
79 |
itself.
|
|
|
80 |
|
|
|
81 |
THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
|
|
82 |
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
|
|
|
83 |
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
|
|
|
84 |
OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL
|
|
|
85 |
BITSTREAM OR THE GNOME FOUNDATION BE LIABLE FOR ANY CLAIM, DAMAGES OR
|
|
|
86 |
OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL,
|
|
|
87 |
OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR
|
|
|
88 |
OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT
|
|
|
89 |
SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE.
|
|
|
90 |
|
|
|
91 |
Except as contained in this notice, the names of Gnome, the Gnome
|
|
|
92 |
Foundation, and Bitstream Inc., shall not be used in advertising or
|
|
|
93 |
otherwise to promote the sale, use or other dealings in this Font
|
|
|
94 |
Software without prior written authorization from the Gnome Foundation
|
|
|
95 |
or Bitstream Inc., respectively. For further information, contact:
|
|
|
96 |
fonts at gnome dot org.
|
|
|
97 |
|
|
|
98 |
----------------------------------------------------------------------------
|