summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-05-06 22:10:01 +0000
committerKarl Berry <karl@freefriends.org>2015-05-06 22:10:01 +0000
commit8866b12cfe98a2308e1eadd0a5e796deb7259471 (patch)
treeeae5e73aa66c7ae14c9ece22178aad55953fb0cd /Master
parente8f603ecd4d90c49cd31da3cbc11d1e34fddcef7 (diff)
esrelation (6may15)
git-svn-id: svn://tug.org/texlive/trunk@37236 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/doc/fonts/esrelation/README58
-rw-r--r--Master/texmf-dist/doc/fonts/esrelation/README.md4
-rw-r--r--Master/texmf-dist/doc/fonts/esrelation/esrelation.pdfbin157085 -> 157085 bytes
-rw-r--r--Master/texmf-dist/fonts/source/public/esrelation/esrelation.mf2
-rw-r--r--Master/texmf-dist/fonts/source/public/esrelation/esrelation10.mf2
-rw-r--r--Master/texmf-dist/source/fonts/esrelation/esrelation.dtx5
-rw-r--r--Master/texmf-dist/source/fonts/esrelation/esrelation.ins2
-rw-r--r--Master/texmf-dist/tex/latex/esrelation/esrelation.sty2
-rw-r--r--Master/texmf-dist/tex/latex/esrelation/uesrelation.fd2
9 files changed, 76 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/fonts/esrelation/README b/Master/texmf-dist/doc/fonts/esrelation/README
new file mode 100644
index 00000000000..172e53bc24c
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/esrelation/README
@@ -0,0 +1,58 @@
+The ESRELATION package
+======================
+by Byron Cook, Tauba Auerbach, David Reinfurt
+
+About
+-----
+
+The program termination problem, also known at the uniform halting problem, can be defined as: *Using a finite amount of time: determine whether a given program will always finish running or could possibly execute forever.*
+
+The Metafont programming and LaTeX package writing and TeX macro programming (*especially the TeX macro programming*) required to produce these symbols looked like it might, itself, never end. It took more than a year of work in fits and starts to understand how the jalopy of bits and pieces go together to make a font work with LaTeX. [The Comprehensive LaTeXe Symbol List](http://www.ctan.org/tex-archive/info/symbols/comprehensive/ "CTAN") does not currently include this set, but on completion all of these files will be ready to upload in the correct formats for inclusion. These are implemented as a standard TeX math symbol font, implemented with custom Metafont sources, rendered on-the-fly as needed by LaTeX. Also provided in this package is a PostScript Type-1 version of the font. Symbols are accessed through macros defined in this package.
+
+Installation
+------------
+
++ run latex on esrelation.ins to generate sty, mf, fd files
+ > $ latex esrelation.ins
+
++ run latex (or pdflatex) on esrelation.dtx to generate documentation (including detailed installation instructions)
+ > $ pdflatex esrelation.dtx
+
++ determine the location of your local TeX tree by running
+ > $ kpsewhich --var-val TEXMFLOCAL
+
+ (this value will henceforth be referred to as &lsquo;TEXMFLOCAL&rsquo;)
+
++ install esrelation.sty and uesrelation.fd in
+ > TEXMFLOCAL/tex/latex/esrelation
+
++ install esrelation.mf and esrelation10.mf in
+ > TEXMFLOCAL/fonts/source/public/esrelation
+
++ install esrelation10.pfb in
+ > TEXMFLOCAL/fonts/type1/public/esrelation
+
++ install esrelation.map in
+ > TEXMFLOCAL/fonts/map/dvips/esrelation
+
+**NB**: all created directories should be set to mode 755 and all of the above files should be set to mode 644.
+
++ update LaTeX font database
+ > $ sudo -H mktexlsr
+
++ update TeX font map
+ > $ sudo -H updmap-sys --enable Map=esrelation.map
+
++ udpate the font database again
+ > $ sudo -H mktexlsr
+
+Resources
+---------
+
+Up-to-date source code is hosted on [GitHub](https://github.com/reinfurt/ESRELATION).
+
+More information about installing TeX fonts can be found [here](https://www.tug.org/fonts/fontinstall.html).
+
+License
+-------
+This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is [here](http://www.latex-project.org/lppl.txt) and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later. \ No newline at end of file
diff --git a/Master/texmf-dist/doc/fonts/esrelation/README.md b/Master/texmf-dist/doc/fonts/esrelation/README.md
index 7faae08b657..172e53bc24c 100644
--- a/Master/texmf-dist/doc/fonts/esrelation/README.md
+++ b/Master/texmf-dist/doc/fonts/esrelation/README.md
@@ -52,3 +52,7 @@ Resources
Up-to-date source code is hosted on [GitHub](https://github.com/reinfurt/ESRELATION).
More information about installing TeX fonts can be found [here](https://www.tug.org/fonts/fontinstall.html).
+
+License
+-------
+This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is [here](http://www.latex-project.org/lppl.txt) and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later. \ No newline at end of file
diff --git a/Master/texmf-dist/doc/fonts/esrelation/esrelation.pdf b/Master/texmf-dist/doc/fonts/esrelation/esrelation.pdf
index 26e0fbba2c0..16882da4a3b 100644
--- a/Master/texmf-dist/doc/fonts/esrelation/esrelation.pdf
+++ b/Master/texmf-dist/doc/fonts/esrelation/esrelation.pdf
Binary files differ
diff --git a/Master/texmf-dist/fonts/source/public/esrelation/esrelation.mf b/Master/texmf-dist/fonts/source/public/esrelation/esrelation.mf
index dce9d587716..9c3d760a212 100644
--- a/Master/texmf-dist/fonts/source/public/esrelation/esrelation.mf
+++ b/Master/texmf-dist/fonts/source/public/esrelation/esrelation.mf
@@ -9,6 +9,8 @@
%% Copyright (C) 2015
%% by Byron Cook, Tauba Auerbach, and David Reinfurt
%%
+%% This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is [here](http://www.latex-project.org/lppl.txt) and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later.
+%%
%% mf setup
diff --git a/Master/texmf-dist/fonts/source/public/esrelation/esrelation10.mf b/Master/texmf-dist/fonts/source/public/esrelation/esrelation10.mf
index cdc4036fa2d..fb2b1301556 100644
--- a/Master/texmf-dist/fonts/source/public/esrelation/esrelation10.mf
+++ b/Master/texmf-dist/fonts/source/public/esrelation/esrelation10.mf
@@ -9,6 +9,8 @@
%% Copyright (C) 2015
%% by Byron Cook, Tauba Auerbach, and David Reinfurt
%%
+%% This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is [here](http://www.latex-project.org/lppl.txt) and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later.
+%%
if unknown cmbase: input cmbase fi
font_identifier:="VECT";
diff --git a/Master/texmf-dist/source/fonts/esrelation/esrelation.dtx b/Master/texmf-dist/source/fonts/esrelation/esrelation.dtx
index 7de691e262a..5005e6669d9 100644
--- a/Master/texmf-dist/source/fonts/esrelation/esrelation.dtx
+++ b/Master/texmf-dist/source/fonts/esrelation/esrelation.dtx
@@ -1,6 +1,9 @@
% \iffalse meta-comment
%
-% testing testing
+% Copyright (C) 2015
+% by Byron Cook, Tauba Auerbach, and David Reinfurt
+%
+% This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is [here](http://www.latex-project.org/lppl.txt) and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later.
%
% \fi
%
diff --git a/Master/texmf-dist/source/fonts/esrelation/esrelation.ins b/Master/texmf-dist/source/fonts/esrelation/esrelation.ins
index ac6b7eafb11..6f278a00586 100644
--- a/Master/texmf-dist/source/fonts/esrelation/esrelation.ins
+++ b/Master/texmf-dist/source/fonts/esrelation/esrelation.ins
@@ -11,6 +11,8 @@
Copyright (C) 2015
by Byron Cook, Tauba Auerbach, and David Reinfurt
+This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is [here](http://www.latex-project.org/lppl.txt) and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later.
+
\endpreamble
\generate{\file{esrelation.sty}{\from{esrelation.dtx}{style}}}
\generate{\file{uesrelation.fd}{\from{esrelation.dtx}{fd}}}
diff --git a/Master/texmf-dist/tex/latex/esrelation/esrelation.sty b/Master/texmf-dist/tex/latex/esrelation/esrelation.sty
index 324ea77f424..ed92289baed 100644
--- a/Master/texmf-dist/tex/latex/esrelation/esrelation.sty
+++ b/Master/texmf-dist/tex/latex/esrelation/esrelation.sty
@@ -9,6 +9,8 @@
%% Copyright (C) 2015
%% by Byron Cook, Tauba Auerbach, and David Reinfurt
%%
+%% This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is [here](http://www.latex-project.org/lppl.txt) and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later.
+%%
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{esrelation}
\DeclareSymbolFont{esrelation}{U}{esrelation}{m}{n}
diff --git a/Master/texmf-dist/tex/latex/esrelation/uesrelation.fd b/Master/texmf-dist/tex/latex/esrelation/uesrelation.fd
index a08b53023b3..8f95de7f650 100644
--- a/Master/texmf-dist/tex/latex/esrelation/uesrelation.fd
+++ b/Master/texmf-dist/tex/latex/esrelation/uesrelation.fd
@@ -9,6 +9,8 @@
%% Copyright (C) 2015
%% by Byron Cook, Tauba Auerbach, and David Reinfurt
%%
+%% This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is [here](http://www.latex-project.org/lppl.txt) and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later.
+%%
\ProvidesFile{uesrelation.fd}
\DeclareFontFamily{U}{esrelation}{}
\DeclareFontShape{U}{esrelation}{m}{n}{<->esrelation10}{}