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