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