lib/fonts/README

removed FIXME: "try_methods" doesn't take a clasimpmod, because it needs to generate Isar proof text in case of success and hence needs total control over its arguments

+
−The Isabelle font has been assembled with FontForge
+
−(http://fontforge.sourceforge.net), composing glyphs from existing
+
−(free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono,
+
−with some additions from DejaVu Sans Mono and DejaVu Sans.
+
−
+
−----------------------------------------------------------------------------
+
−
+
−Computer Modern PostScript Fonts
+
−(Adobe Type 1 format)
+
−2001/06/06
+
−
+
−-----------------------------------------------------------------------------
+
−The PostScript Type 1 implementation of the Computer Modern fonts produced by
+
−and previously distributed by Blue Sky Research and Y&Y, Inc. are now freely
+
−available for general use. This has been accomplished through the cooperation
+
−of a consortium of scientific publishers with Blue Sky Research and Y&Y.
+
−Members of this consortium include:
+
−
+
−        Elsevier Science
+
−        IBM Corporation
+
−        Society for Industrial and Applied Mathematics (SIAM)
+
−        Springer-Verlag
+
−        American Mathematical Society (AMS)
+
−
+
−In order to assure the authenticity of these fonts, copyright will be held
+
−by the American Mathematical Society. This is not meant to restrict in any
+
−way the legitimate use of the fonts, such as (but not limited to) electronic
+
−distribution of documents containing these fonts, inclusion of these fonts
+
−into other public domain or commercial font collections or computer
+
−applications, use of the outline data to create derivative fonts and/or
+
−faces, etc. However, the AMS does require that the AMS copyright notice be
+
−removed from any derivative versions of the fonts which have been altered in
+
−any way. In addition, to ensure the fidelity of TeX documents using Computer
+
−Modern fonts, Professor Donald Knuth, creator of the Computer Modern faces,
+
−has requested that any alterations which yield different font metrics be
+
−given a different name.
+
−
+
−----------------------------------------------------------------------------
+
−----------------------------------------------------------------------------
+
−
+
−Bitstream Vera Fonts Copyright
+
−
+
−The fonts have a generous copyright, allowing derivative works (as
+
−long as "Bitstream" or "Vera" are not in the names), and full
+
−redistribution (so long as they are not *sold* by themselves). They
+
−can be be bundled, redistributed and sold with any software.
+
−
+
−The fonts are distributed under the following copyright:
+
−
+
−Copyright
+
−=========
+
−
+
−Copyright (c) 2003 by Bitstream, Inc. All Rights Reserved. Bitstream
+
−Vera is a trademark of Bitstream, Inc.
+
−
+
−Permission is hereby granted, free of charge, to any person obtaining
+
−a copy of the fonts accompanying this license ("Fonts") and associated
+
−documentation files (the "Font Software"), to reproduce and distribute
+
−the Font Software, including without limitation the rights to use,
+
−copy, merge, publish, distribute, and/or sell copies of the Font
+
−Software, and to permit persons to whom the Font Software is furnished
+
−to do so, subject to the following conditions:
+
−
+
−The above copyright and trademark notices and this permission notice
+
−shall be included in all copies of one or more of the Font Software
+
−typefaces.
+
−
+
−The Font Software may be modified, altered, or added to, and in
+
−particular the designs of glyphs or characters in the Fonts may be
+
−modified and additional glyphs or characters may be added to the
+
−Fonts, only if the fonts are renamed to names not containing either
+
−the words "Bitstream" or the word "Vera".
+
−
+
−This License becomes null and void to the extent applicable to Fonts
+
−or Font Software that has been modified and is distributed under the
+
−"Bitstream Vera" names.
+
−
+
−The Font Software may be sold as part of a larger software package but
+
−no copy of one or more of the Font Software typefaces may be sold by
+
−itself.
+
−
+
−THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+
−EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
+
−MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
+
−OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL
+
−BITSTREAM OR THE GNOME FOUNDATION BE LIABLE FOR ANY CLAIM, DAMAGES OR
+
−OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL,
+
−OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR
+
−OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT
+
−SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE.
+
−
+
−Except as contained in this notice, the names of Gnome, the Gnome
+
−Foundation, and Bitstream Inc., shall not be used in advertising or
+
−otherwise to promote the sale, use or other dealings in this Font
+
−Software without prior written authorization from the Gnome Foundation
+
−or Bitstream Inc., respectively. For further information, contact:
+
−fonts at gnome dot org.
+
−
+
−----------------------------------------------------------------------------