1 The Isabelle font has been assembled from existing (free) TeX fonts |
1 The Isabelle font has been assembled with FontForge |
2 using FontForge http://fontforge.sourceforge.net/ |
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 ---------------------------------------------------------------------------- |