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