Admin/isabelle_fonts/README
author wenzelm
Mon Jun 03 20:09:43 2019 +0200 (4 months ago)
changeset 70310 c82f59c47aaf
parent 69797 7e5a7a11d5d1
child 70374 2b4c40722f0b
permissions -rw-r--r--
clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
     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     10-Feb-2019
    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 ----------------------------------------------------------------------------