lib/fonts/README
author wenzelm
Fri Nov 03 19:20:47 2017 +0100 (19 months ago)
changeset 66997 17eb23e43630
parent 63677 be8b557ec73e
child 69270 15463f546ee0
permissions -rw-r--r--
avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
     1 The Isabelle font has been assembled with FontForge
     2 (http://fontforge.sourceforge.net), composing glyphs from existing
     3 (free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono,
     4 with some additions from DejaVu Sans Mono and DejaVu Sans.
     5 
     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 
    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 ----------------------------------------------------------------------------