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