update bbm, nothing to do, but splitting the macros from the

fonts as done in the Catalogue, see next commit for bbm-macros


git-svn-id: svn://tug.org/texlive/trunk@5091 c570f23f-e606-0410-a88d-b1316a301751

4 files changed, 224 insertions, 0 deletions

diff --git a/Master/texmf-dist/doc/fonts/bbm/bbm.readme b/Master/texmf-dist/doc/fonts/bbm/bbm.readme
new file mode 100644
index 00000000000..7b5e7f5af83
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bbm/bbm.readme
@@ -0,0 +1,52 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+A mathematician often needs special symbols to designate sets such as the
+integers, the reals etc..
+
+For the time being, the only fonts providing these special symbols have been:
+ - the AMS fonts msbm (older version msym), which are intended for use with
+Times and aren't truly what a mathematician expects (the stress is on both
+stems instead of being on only the left one).
+ - Alan Jeffrey's bbold fonts, which are sans-serif ones, with (almost) no
+possibility of design variations for, say, a bold variant.
+That was all, and in particular nothing for use with Computer Modern.
+
+I was already working at that time on the project of changing the codes of
+romanu.mf, romanl.mf and other files to add a 'Blackboard' variant to
+Computer Modern.
+
+                YOU HAVE IT ALL THERE !!!
+
+The whole package contains five 'main' files:
+ - blbbase.mf (the 'base') contains the supplementary definitions needed
+for double stems etc..
+ - blbord.mf (the 'driver') is fairly simple and only makes the necessary
+calls.
+ - blbordu.mf (based on romanu.mf): programs for uppercase letters.
+ - blbordl.mf (based on romanl.mf): programs for lowercase letters.
+ - blbordsp.mf (based on romand.mf and punct.mf): programs for the digits~1
+and~2 and for parentheses and brackets.
+
+There is also a whole lot of parameter files that are (almost) the same as
+those provided by DEK.
+
+For most of them, the only differences are
+- change 'cmbase' for 'blbbase' on line~2
+- change 'generate roman' for 'generate blbord' on last line
+- add two extra parameters (interspace# and cap_interspace#).
+
+A LaTeX(2e) package written by Torsten Hilbrich for using these fonts is also 
+available nearby, exactly in ctan/macros/latex/contrib/supported/bbm/
+
+I sincerely hope you'll enjoy using these fonts; if you get into problems
+while using them, I should be reachable at
+
+ _ _       Gilles F. ROBERT
+|          Unit\'e de Math\'ematiques Pures et Appliqu\'ees
+|  _ _ _   \'Ecole Normale Sup\'erieure
+|   |   |  46, All\'ee d'Italie
+|_ _|_ _|  69364 Lyon Cedex (FRANCE)
+    |  \
+    |   \  e-mail : gfrobert@umpa.ens-lyon.fr
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
diff --git a/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch b/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch
new file mode 100644
index 00000000000..642e4bdec67
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch
@@ -0,0 +1,55 @@
+# This is a shell script that produces all PK files from GF files
+# produced by mfbatch.batch, assuming that 'localfont' is a 300dpi laser.
+# Gilles F. ROBERT (29-03-93)
+gftopk bbm10.300gf
+gftopk bbm12.300gf
+gftopk bbm17.300gf
+gftopk bbm9.300gf
+gftopk bbm8.300gf
+gftopk bbm7.300gf
+gftopk bbm6.300gf
+gftopk bbm5.300gf
+#
+gftopk bbmsl10.300gf
+gftopk bbmsl12.300gf
+gftopk bbmsl9.300gf
+gftopk bbmsl8.300gf
+#
+gftopk bbmbx10.300gf
+gftopk bbmbx12.300gf
+gftopk bbmbx9.300gf
+gftopk bbmbx8.300gf
+gftopk bbmbx7.300gf
+gftopk bbmbx6.300gf
+gftopk bbmbx5.300gf
+gftopk bbmbxsl10.300gf
+#
+gftopk bbmss10.300gf
+gftopk bbmss12.300gf
+gftopk bbmss17.300gf
+gftopk bbmss9.300gf
+gftopk bbmss8.300gf
+gftopk bbmssq8.300gf
+#
+gftopk bbmssi10.300gf
+gftopk bbmssi12.300gf
+gftopk bbmssi17.300gf
+gftopk bbmssi9.300gf
+gftopk bbmssi8.300gf
+gftopk bbmssqi8.300gf
+#
+gftopk bbmssbx10.300gf
+gftopk bbmssdc10.300gf
+#
+gftopk bbmtt10.300gf
+gftopk bbmtt12.300gf
+gftopk bbmtt9.300gf
+gftopk bbmtt8.300gf
+gftopk bbmsltt10.300gf
+gftopk bbmvtt10.300gf
+#
+gftopk bbmb10.300gf
+gftopk bbmdunh10.300gf
+gftopk bbmfib8.300gf
+gftopk bbminch.300gf
+
diff --git a/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch b/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch
new file mode 100644
index 00000000000..6989d63bee0
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch
@@ -0,0 +1,51 @@
+mf "\mode=localfont; scrollmode; input bbm10"
+mf "\mode=localfont; scrollmode; input bbm12"
+mf "\mode=localfont; scrollmode; input bbm17"
+mf "\mode=localfont; scrollmode; input bbm9"
+mf "\mode=localfont; scrollmode; input bbm8"
+mf "\mode=localfont; scrollmode; input bbm7"
+mf "\mode=localfont; scrollmode; input bbm6"
+mf "\mode=localfont; scrollmode; input bbm5"
+#
+mf "\mode=localfont; scrollmode; input bbmsl10"
+mf "\mode=localfont; scrollmode; input bbmsl12"
+mf "\mode=localfont; scrollmode; input bbmsl9"
+mf "\mode=localfont; scrollmode; input bbmsl8"
+#
+mf "\mode=localfont; scrollmode; input bbmbx10"
+mf "\mode=localfont; scrollmode; input bbmbx12"
+mf "\mode=localfont; scrollmode; input bbmbx9"
+mf "\mode=localfont; scrollmode; input bbmbx8"
+mf "\mode=localfont; scrollmode; input bbmbx7"
+mf "\mode=localfont; scrollmode; input bbmbx6"
+mf "\mode=localfont; scrollmode; input bbmbx5"
+mf "\mode=localfont; scrollmode; input bbmbxsl10"
+#
+mf "\mode=localfont; scrollmode; input bbmss10"
+mf "\mode=localfont; scrollmode; input bbmss12"
+mf "\mode=localfont; scrollmode; input bbmss17"
+mf "\mode=localfont; scrollmode; input bbmss9"
+mf "\mode=localfont; scrollmode; input bbmss8"
+mf "\mode=localfont; scrollmode; input bbmssq8"
+#
+mf "\mode=localfont; scrollmode; input bbmssi10"
+mf "\mode=localfont; scrollmode; input bbmssi12"
+mf "\mode=localfont; scrollmode; input bbmssi17"
+mf "\mode=localfont; scrollmode; input bbmssi9"
+mf "\mode=localfont; scrollmode; input bbmssi8"
+mf "\mode=localfont; scrollmode; input bbmssqi8"
+#
+mf "\mode=localfont; scrollmode; input bbmssbx10"
+mf "\mode=localfont; scrollmode; input bbmssdc10"
+#
+mf "\mode=localfont; scrollmode; input bbmtt10"
+mf "\mode=localfont; scrollmode; input bbmtt12"
+mf "\mode=localfont; scrollmode; input bbmtt9"
+mf "\mode=localfont; scrollmode; input bbmtt8"
+mf "\mode=localfont; scrollmode; input bbmsltt10"
+mf "\mode=localfont; scrollmode; input bbmvtt10"
+#
+mf "\mode=localfont; scrollmode; input bbmb10"
+mf "\mode=localfont; scrollmode; input bbmdunh10"
+mf "\mode=localfont; scrollmode; input bbmfib8"
+mf "\mode=localfont; scrollmode; input bbminch"
diff --git a/Master/texmf-dist/doc/fonts/bbm/test.tex b/Master/texmf-dist/doc/fonts/bbm/test.tex
new file mode 100644
index 00000000000..a17cdff65aa
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bbm/test.tex
@@ -0,0 +1,66 @@
+\let\noinit!\input testfont
+\def\fontname{bbm17 }\startfont\table
+\def\fontname{bbm12 }\startfont\table
+\eject
+\def\fontname{bbm10 }\startfont\table
+\def\fontname{bbm9 }\startfont\table
+\eject
+\def\fontname{bbm8 }\startfont\table
+\def\fontname{bbm7 }\startfont\table
+\eject
+\def\fontname{bbm6 }\startfont\table
+\def\fontname{bbm5 }\startfont\table
+\eject
+\def\fontname{bbmsl12 }\startfont\table
+\def\fontname{bbmsl10 }\startfont\table
+\eject
+\def\fontname{bbmsl9 }\startfont\table
+\def\fontname{bbmsl8 }\startfont\table
+\eject
+\def\fontname{bbmbx12 }\startfont\table
+\def\fontname{bbmbx10 }\startfont\table
+\eject
+\def\fontname{bbmbx9 }\startfont\table
+\def\fontname{bbmbx8 }\startfont\table
+\eject
+\def\fontname{bbmbx7 }\startfont\table
+\def\fontname{bbmbx6 }\startfont\table
+\eject
+\def\fontname{bbmbx5 }\startfont\table
+\def\fontname{bbmbxsl10 }\startfont\table
+\eject
+\def\fontname{bbmss17 }\startfont\table
+\def\fontname{bbmss12 }\startfont\table
+\eject
+\def\fontname{bbmss10 }\startfont\table
+\def\fontname{bbmss9 }\startfont\table
+\eject
+\def\fontname{bbmss8 }\startfont\table
+\def\fontname{bbmssq8 }\startfont\table
+\eject
+\def\fontname{bbmssi17 }\startfont\table
+\def\fontname{bbmssi12 }\startfont\table
+\eject
+\def\fontname{bbmssi10 }\startfont\table
+\def\fontname{bbmssi9 }\startfont\table
+\eject
+\def\fontname{bbmssi8 }\startfont\table
+\def\fontname{bbmssqi8 }\startfont\table
+\eject
+\def\fontname{bbmssbx10 }\startfont\table
+\def\fontname{bbmssdc10 }\startfont\table
+\eject
+\def\fontname{bbmtt12 }\startfont\table
+\def\fontname{bbmtt10 }\startfont\table
+\eject
+\def\fontname{bbmtt9 }\startfont\table
+\def\fontname{bbmtt8 }\startfont\table
+\eject
+\def\fontname{bbmsltt10 }\startfont\table
+\def\fontname{bbmvtt10 }\startfont\table
+\eject
+\def\fontname{bbmb10 }\startfont\table
+\def\fontname{bbmfib8 }\startfont\table
+\eject
+\def\fontname{bbmdunh10 }\startfont\table
+\bye