1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/fonts/README	Fri Aug 22 18:31:02 2008 +0200
     1.3 @@ -0,0 +1,98 @@
     1.4 +The Isabelle font has been assembled with FontForge
     1.5 +(http://fontforge.sourceforge.net), composing glyphs from existing
     1.6 +(free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono.
     1.7 +
     1.8 +----------------------------------------------------------------------------
     1.9 +
    1.10 +Computer Modern PostScript Fonts
    1.11 +(Adobe Type 1 format)
    1.12 +2001/06/06
    1.13 +
    1.14 +-----------------------------------------------------------------------------
    1.15 +The PostScript Type 1 implementation of the Computer Modern fonts produced by
    1.16 +and previously distributed by Blue Sky Research and Y&Y, Inc. are now freely
    1.17 +available for general use. This has been accomplished through the cooperation
    1.18 +of a consortium of scientific publishers with Blue Sky Research and Y&Y.
    1.19 +Members of this consortium include:
    1.20 +
    1.21 +        Elsevier Science
    1.22 +        IBM Corporation
    1.23 +        Society for Industrial and Applied Mathematics (SIAM)
    1.24 +        Springer-Verlag
    1.25 +        American Mathematical Society (AMS)
    1.26 +
    1.27 +In order to assure the authenticity of these fonts, copyright will be held
    1.28 +by the American Mathematical Society. This is not meant to restrict in any
    1.29 +way the legitimate use of the fonts, such as (but not limited to) electronic
    1.30 +distribution of documents containing these fonts, inclusion of these fonts
    1.31 +into other public domain or commercial font collections or computer
    1.32 +applications, use of the outline data to create derivative fonts and/or
    1.33 +faces, etc. However, the AMS does require that the AMS copyright notice be
    1.34 +removed from any derivative versions of the fonts which have been altered in
    1.35 +any way. In addition, to ensure the fidelity of TeX documents using Computer
    1.36 +Modern fonts, Professor Donald Knuth, creator of the Computer Modern faces,
    1.37 +has requested that any alterations which yield different font metrics be
    1.38 +given a different name.
    1.39 +
    1.40 +----------------------------------------------------------------------------
    1.41 +----------------------------------------------------------------------------
    1.42 +
    1.43 +Bitstream Vera Fonts Copyright
    1.44 +
    1.45 +The fonts have a generous copyright, allowing derivative works (as
    1.46 +long as "Bitstream" or "Vera" are not in the names), and full
    1.47 +redistribution (so long as they are not *sold* by themselves). They
    1.48 +can be be bundled, redistributed and sold with any software.
    1.49 +
    1.50 +The fonts are distributed under the following copyright:
    1.51 +
    1.52 +Copyright
    1.53 +=========
    1.54 +
    1.55 +Copyright (c) 2003 by Bitstream, Inc. All Rights Reserved. Bitstream
    1.56 +Vera is a trademark of Bitstream, Inc.
    1.57 +
    1.58 +Permission is hereby granted, free of charge, to any person obtaining
    1.59 +a copy of the fonts accompanying this license ("Fonts") and associated
    1.60 +documentation files (the "Font Software"), to reproduce and distribute
    1.61 +the Font Software, including without limitation the rights to use,
    1.62 +copy, merge, publish, distribute, and/or sell copies of the Font
    1.63 +Software, and to permit persons to whom the Font Software is furnished
    1.64 +to do so, subject to the following conditions:
    1.65 +
    1.66 +The above copyright and trademark notices and this permission notice
    1.67 +shall be included in all copies of one or more of the Font Software
    1.68 +typefaces.
    1.69 +
    1.70 +The Font Software may be modified, altered, or added to, and in
    1.71 +particular the designs of glyphs or characters in the Fonts may be
    1.72 +modified and additional glyphs or characters may be added to the
    1.73 +Fonts, only if the fonts are renamed to names not containing either
    1.74 +the words "Bitstream" or the word "Vera".
    1.75 +
    1.76 +This License becomes null and void to the extent applicable to Fonts
    1.77 +or Font Software that has been modified and is distributed under the
    1.78 +"Bitstream Vera" names.
    1.79 +
    1.80 +The Font Software may be sold as part of a larger software package but
    1.81 +no copy of one or more of the Font Software typefaces may be sold by
    1.82 +itself.
    1.83 +
    1.84 +THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
    1.85 +EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
    1.86 +MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
    1.87 +OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL
    1.88 +BITSTREAM OR THE GNOME FOUNDATION BE LIABLE FOR ANY CLAIM, DAMAGES OR
    1.89 +OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL,
    1.90 +OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR
    1.91 +OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT
    1.92 +SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE.
    1.93 +
    1.94 +Except as contained in this notice, the names of Gnome, the Gnome
    1.95 +Foundation, and Bitstream Inc., shall not be used in advertising or
    1.96 +otherwise to promote the sale, use or other dealings in this Font
    1.97 +Software without prior written authorization from the Gnome Foundation
    1.98 +or Bitstream Inc., respectively. For further information, contact:
    1.99 +fonts at gnome dot org.
   1.100 +
   1.101 +----------------------------------------------------------------------------