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