doc, sync

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

2 files changed, 284 insertions, 40 deletions

diff --git a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
index ad2d7e5c264..40b17684f1c 100644
--- a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
+++ b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
@@ -5,9 +5,9 @@
 %%% ====================================================================
 %%%  BibTeX-file{
 %%%     author          = "Nelson H. F. Beebe",
-%%%     version         = "3.66",
-%%%     date            = "03 November 2017",
-%%%     time            = "06:55:35 MDT",
+%%%     version         = "3.68",
+%%%     date            = "01 November 2018",
+%%%     time            = "11:18:32 MDT",
 %%%     filename        = "texbook3.bib",
 %%%     address         = "University of Utah
 %%%                        Department of Mathematics, 110 LCB
@@ -17,7 +17,7 @@
 %%%     telephone       = "+1 801 581 5254",
 %%%     FAX             = "+1 801 581 4148",
 %%%     URL             = "http://www.math.utah.edu/~beebe",
-%%%     checksum        = "20418 17301 71011 697150",
+%%%     checksum        = "20714 17541 72266 710017",
 %%%     email           = "beebe at math.utah.edu, beebe at acm.org,
 %%%                        beebe at computer.org (Internet)",
 %%%     codetable       = "ISO/ASCII",
@@ -37,45 +37,46 @@
 %%%                        covered in separate bibliographies
 %%%                        (ep.bib, epodd.bib, and sgml.bib).
 %%%
-%%%                        At version 3.66, the year coverage looks
+%%%                        At version 3.68, the year coverage looks
 %%%                        like this:
 %%%
-%%%                             1928 (   1)    1958 (   0)    1988 (  50)
-%%%                             1929 (   0)    1959 (   0)    1989 (  54)
-%%%                             1930 (   0)    1960 (   0)    1990 (  51)
-%%%                             1931 (   0)    1961 (   0)    1991 (  41)
-%%%                             1932 (   0)    1962 (   1)    1992 (  82)
-%%%                             1933 (   0)    1963 (   0)    1993 (  45)
-%%%                             1934 (   0)    1964 (   0)    1994 (  36)
-%%%                             1935 (   0)    1965 (   0)    1995 (  28)
-%%%                             1936 (   0)    1966 (   0)    1996 (  14)
-%%%                             1937 (   0)    1967 (   1)    1997 (  24)
-%%%                             1938 (   0)    1968 (   0)    1998 (   7)
-%%%                             1939 (   0)    1969 (   1)    1999 (  10)
-%%%                             1940 (   0)    1970 (   2)    2000 (   6)
-%%%                             1941 (   0)    1971 (   1)    2001 (   8)
-%%%                             1942 (   0)    1972 (   2)    2002 (   3)
-%%%                             1943 (   0)    1973 (   1)    2003 (  12)
-%%%                             1944 (   0)    1974 (   1)    2004 (  37)
-%%%                             1945 (   0)    1975 (   1)    2005 (  13)
-%%%                             1946 (   0)    1976 (   3)    2006 (   5)
-%%%                             1947 (   0)    1977 (   2)    2007 (   6)
-%%%                             1948 (   0)    1978 (   7)    2008 (   5)
-%%%                             1949 (   0)    1979 (   5)    2009 (   6)
-%%%                             1950 (   0)    1980 (   8)    2010 (   4)
-%%%                             1951 (   0)    1981 (  12)    2011 (   6)
-%%%                             1952 (   0)    1982 (  21)    2012 (   6)
-%%%                             1953 (   0)    1983 (  24)    2013 (   5)
-%%%                             1954 (   0)    1984 (  15)    2014 (   0)
-%%%                             1955 (   0)    1985 (  36)    2015 (   2)
-%%%                             1956 (   0)    1986 (  42)    2016 (   2)
-%%%                             1957 (   0)    1987 (  48)    2017 (   3)
+%%%                             1928 (   1)    1959 (   0)    1990 (  54)
+%%%                             1929 (   0)    1960 (   0)    1991 (  41)
+%%%                             1930 (   0)    1961 (   0)    1992 (  82)
+%%%                             1931 (   0)    1962 (   1)    1993 (  45)
+%%%                             1932 (   0)    1963 (   0)    1994 (  36)
+%%%                             1933 (   0)    1964 (   0)    1995 (  28)
+%%%                             1934 (   0)    1965 (   0)    1996 (  14)
+%%%                             1935 (   0)    1966 (   0)    1997 (  24)
+%%%                             1936 (   0)    1967 (   1)    1998 (   7)
+%%%                             1937 (   0)    1968 (   0)    1999 (  10)
+%%%                             1938 (   0)    1969 (   1)    2000 (   6)
+%%%                             1939 (   0)    1970 (   2)    2001 (   8)
+%%%                             1940 (   0)    1971 (   1)    2002 (   3)
+%%%                             1941 (   0)    1972 (   2)    2003 (  12)
+%%%                             1942 (   0)    1973 (   1)    2004 (  37)
+%%%                             1943 (   0)    1974 (   1)    2005 (  13)
+%%%                             1944 (   0)    1975 (   1)    2006 (   5)
+%%%                             1945 (   0)    1976 (   3)    2007 (   6)
+%%%                             1946 (   0)    1977 (   2)    2008 (   5)
+%%%                             1947 (   0)    1978 (   7)    2009 (   6)
+%%%                             1948 (   0)    1979 (   5)    2010 (   4)
+%%%                             1949 (   0)    1980 (   8)    2011 (   6)
+%%%                             1950 (   0)    1981 (  12)    2012 (   6)
+%%%                             1951 (   0)    1982 (  21)    2013 (   5)
+%%%                             1952 (   0)    1983 (  24)    2014 (   0)
+%%%                             1953 (   0)    1984 (  15)    2015 (   2)
+%%%                             1954 (   0)    1985 (  36)    2016 (   2)
+%%%                             1955 (   0)    1986 (  42)    2017 (   3)
+%%%                             1956 (   0)    1987 (  48)    2018 (   1)
+%%%                             1957 (   0)    1988 (  50)
+%%%                             1958 (   0)    1989 (  54)
 %%%                             19xx (   2)
 %%%
-%%%                             Article:        195
-%%%                             Book:           317
+%%%                             Article:        196
+%%%                             Book:           318
 %%%                             Booklet:         12
-%%%                             InCollection:    11
+%%%                             InCollection:    13
 %%%                             InProceedings:  125
 %%%                             Manual:          16
 %%%                             MastersThesis:    3
@@ -86,7 +87,7 @@
 %%%                             TechReport:      60
 %%%                             Unpublished:      2
 %%%
-%%%                             Total entries:  808
+%%%                             Total entries:  812
 %%%
 %%%                        The ISBN and ISSN fields will be printed if
 %%%                        the is-alpha.bst or is-plain.bst style
@@ -429,6 +430,8 @@
 
 @String{j-IBM-SYS-J             = "IBM Systems Journal"}
 
+@String{j-IEEE-ANN-HIST-COMPUT  = "IEEE Annals of the History of Computing"}
+
 @String{j-IEEE-CGA              = "IEEE Computer Graphics and Applications"}
 
 @String{j-IEEE-COMPUTER         = "IEEE Computer"}
@@ -6232,7 +6235,7 @@
 
 @Book{Gratzer:2016:MML,
   author =       "George Gr{\"a}tzer",
-  title =        "More Math Into {LaTeX}",
+  title =        "More Math Into {\LaTeX}",
   publisher =    "Springer International Publishing",
   address =      "Cham, Switzerland",
   edition =      "Fifth",
@@ -6294,6 +6297,25 @@
   acknowledgement = ack-nhfb,
 }
 
+@InCollection{Gries:1990:BDO,
+  author =       "David Gries",
+  title =        "Binary to Decimal, One More Time",
+  crossref =     "Feijen:1990:BOB",
+  chapter =      "16",
+  pages =        "141--148",
+  year =         "1990",
+  DOI =          "https://doi.org/10.1007/978-1-4612-4476-9_17",
+  bibdate =      "Sat Sep 03 09:41:32 1994",
+  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
+                 http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+  note =         "This paper presents an alternate proof of Knuth's
+                 algorithm \cite{Knuth:1990:SPW} for conversion between
+                 decimal and fixed-point binary numbers.",
+  URL =          "https://link.springer.com/chapter/10.1007/978-1-4612-4476-9_17",
+  acknowledgement = ack-nhfb,
+  keywords =     "decimal floating-point arithmetic",
+}
+
 @Article{Griffee:1988:ITF,
   author =       "Alan W. Griffee and Cherrelyn A. Casey",
   title =        "An introduction to typographic fonts and digital font
@@ -9396,6 +9418,32 @@
   fjournal =     "{\TeX\-hax}",
 }
 
+@InCollection{Knuth:1990:SPW,
+  author =       "Donald E. Knuth",
+  title =        "A Simple Program Whose Proof Isn't",
+  crossref =     "Feijen:1990:BOB",
+  chapter =      "27",
+  pages =        "233--242",
+  year =         "1990",
+  DOI =          "https://doi.org/10.1007/978-1-4612-4476-9_28",
+  MRclass =      "68Q20 (11A67 68-04)",
+  MRnumber =     "93c:68035",
+  MRreviewer =   "F. J. van der Linden",
+  bibdate =      "Fri Mar 22 18:03:29 MST 2002",
+  bibsource =    "http://www.math.utah.edu/pub/tex/bib/texbook3.bib;
+                 MathSciNet database",
+  note =         "This paper discusses the algorithm used in {\TeX} for
+                 converting between decimal and scaled fixed-point
+                 binary values, and for guaranteeing a minimum number of
+                 digits in the decimal representation. See also
+                 \cite{Clinger:1990:HRF} for decimal to binary
+                 conversion, \cite{Steele:1990:HPF} for binary to
+                 decimal conversion, and \cite{Gries:1990:BDO} for an
+                 alternate proof of Knuth's algorithm.",
+  URL =          "https://link.springer.com/chapter/10.1007/978-1-4612-4476-9_28",
+  acknowledgement = ack-nhfb,
+}
+
 @Article{Knuth:1990:VFMa,
   author =       "Donald Knuth",
   title =        "Virtual Fonts: More Fun for Grand Wizards",
@@ -16288,6 +16336,28 @@
                  (2005--2015).",
 }
 
+@Article{Beeton:2018:TBD,
+  author =       "Barbara Beeton and Karl Berry and David Walden",
+  title =        "{\TeX}: A Branch of Desktop Publishing, Part 1",
+  journal =      j-IEEE-ANN-HIST-COMPUT,
+  volume =       "40",
+  number =       "3",
+  pages =        "78--93",
+  month =        "????",
+  year =         "2018",
+  CODEN =        "IAHCEX",
+  DOI =          "https://doi.org/10.1109/MAHC.2018.033841114",
+  ISSN =         "1058-6180 (print), 1934-1547 (electronic)",
+  ISSN-L =       "1058-6180",
+  bibdate =      "Thu Nov 1 06:16:12 MDT 2018",
+  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeeannhistcomput.bib;
+                 http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+  URL =          "https://ieeexplore.ieee.org/document/8509554/",
+  acknowledgement = ack-nhfb,
+  fjournal =     "IEEE Annals of the History of Computing",
+  journal-URL =  "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=85",
+}
+
 %%% =====================================================================
 %%% We put all Proceedings entries at the end so they can be
 %%% cross-referenced by earlier entries.  This order is regrettably
@@ -16596,6 +16666,176 @@
   acknowledgement = ack-nhfb,
 }
 
+@Book{Feijen:1990:BOB,
+  editor =       "W. H. J. Feijen and A. J. M. van Gasteren and D. Gries
+                 and J. Misra",
+  booktitle =    "Beauty is our business: a birthday salute to {Edsger
+                 W. Dijkstra}",
+  title =        "Beauty is our business: a birthday salute to {Edsger
+                 W. Dijkstra}",
+  publisher =    pub-SV,
+  address =      pub-SV:adr,
+  pages =        "xix + 453",
+  year =         "1990",
+  DOI =          "https://doi.org/10.1007/978-1-4612-4476-9",
+  ISBN =         "0-387-97299-4, 1-4612-8792-8 (print), 1-4612-4476-5
+                 (online)",
+  ISBN-13 =      "978-0-387-97299-2, 978-1-4612-8792-6 (print),
+                 978-1-4612-4476-9 (online)",
+  ISSN =         "0172-603X",
+  ISSN-L =       "0172-603X",
+  LCCN =         "QA76 .B326 1990",
+  bibdate =      "Thu Mar 24 09:27:40 1994",
+  bibsource =    "http://www.math.utah.edu/pub/tex/bib/master.bib;
+                 http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+  acknowledgement = ack-nhfb,
+  tableofcontents = "Anonymous / Front Matter / i--xix \\
+                 Krzysztof R. Apt, Frank S. de Boer, Ernst-R{\"u}diger
+                 Olderog / Proving Termination of Parallel Programs /
+                 1--6 / doi:10.1007/978-1-4612-4476-9_1 \\
+                 Roland C. Backhouse / On a Relation on Functions /
+                 7--18 / doi:10.1007/978-1-4612-4476-9_2 \\
+                 F. L. Bauer / Efficient Solution of a Non--Monotonic
+                 Inverse Problem / 19--26 /
+                 doi:10.1007/978-1-4612-4476-9_3 \\
+                 A. Bijlsma / Semantics of Quasi--Boolean Expressions /
+                 27--35 / doi:10.1007/978-1-4612-4476-9_4 \\
+                 Richard S. Bird / Small Specification Exercises /
+                 36--43 / doi:10.1007/978-1-4612-4476-9_5 \\
+                 Maarten Boasson / Architecture of Real--Time Systems /
+                 44--53 / doi:10.1007/978-1-4612-4476-9_6 \\
+                 Robert S. Boyer, Milton W. Green, J Strother Moore /
+                 The Use of a Formal Simulator to Verify a Simple Real
+                 Time Control Program / 54--66 /
+                 doi:10.1007/978-1-4612-4476-9_7 \\
+                 Donald W. Braben / Exploring the Future: Trends and
+                 Discontinuities / 67--75 /
+                 doi:10.1007/978-1-4612-4476-9_8 \\
+                 Coen Bron / On a Renewed Visit to the Banker and a
+                 Remarkable Analogy / 76--82 /
+                 doi:10.1007/978-1-4612-4476-9_9 \\
+                 Manfred Broy / On Bounded Buffers: Modularity,
+                 Robustness, and Reliability in Reactive Systems /
+                 83--93 / doi:10.1007/978-1-4612-4476-9_10 \\
+                 K. Mani Chandy, Stephen Taylor / Examples in Program
+                 Composition / 94--101 /
+                 doi:10.1007/978-1-4612-4476-9_11 \\
+                 Albert J. Dijkstra / On the Mechanism of the
+                 Hydrogenation of Edible Oils / 102--111 /
+                 doi:10.1007/978-1-4612-4476-9_12 \\
+                 W. H. J. Feijen, A. J. M. van Gasteren, D. Gries, J.
+                 Misra / The Problem of the Majority Network / 112--118
+                 / doi:10.1007/978-1-4612-4476-9_13 \\
+                 W. H. J. Feijen / A Little Exercise in Deriving
+                 Multiprograms / 119--126 /
+                 doi:10.1007/978-1-4612-4476-9_14 \\
+                 A. J. M. van Gasteren / Experimenting with a Refinement
+                 Calculus / 127--134 / doi:10.1007/978-1-4612-4476-9_15
+                 \\
+                 Mohamed G. Gouda / Serializable Programs,
+                 Parallelizable Assertions: A Basis for Interleaving /
+                 135--140 / doi:10.1007/978-1-4612-4476-9_16 \\
+                 David Gries / Binary to Decimal, One More Time /
+                 141--148 / doi:10.1007/978-1-4612-4476-9_17 \\
+                 A. N. Habermann / Rotate and Double / 149--162 /
+                 doi:10.1007/978-1-4612-4476-9_18 \\
+                 Eric C. R. Hehner / Beautifying G{\"o}del / 163--172 /
+                 doi:10.1007/978-1-4612-4476-9_19 \\
+                 G. Helmberg / A Striptease of Entropy / 173--175 /
+                 doi:10.1007/978-1-4612-4476-9_20 \\
+                 Ted Herman / On a Theorem of Jacobson / 176--181 /
+                 doi:10.1007/978-1-4612-4476-9_21 \\
+                 Wim H. Hesselink / Modalities of Nondeterminacy /
+                 182--192 / doi:10.1007/978-1-4612-4476-9_22 \\
+                 C. A. R. Hoare / A Theory for the Derivation of C-mos
+                 Circuit Designs / 193--205 /
+                 doi:10.1007/978-1-4612-4476-9_23 \\
+                 Rob Hoogerwoord / On Mathematical Induction and the
+                 Invariance Theorem / 206--211 /
+                 doi:10.1007/978-1-4612-4476-9_24 \\
+                 J. J. Horning / Formalizing Some Classic
+                 Synchronization Primitives / 212--219 /
+                 doi:10.1007/978-1-4612-4476-9_25 \\
+                 Cliff B. Jones / Consequences / 220--225 /
+                 doi:10.1007/978-1-4612-4476-9_26 \\
+                 Anne Kaldewaij / Shortest and Longest Segments /
+                 226--232 / doi:10.1007/978-1-4612-4476-9_27 \\
+                 Donald E. Knuth / A Simple Program Whose Proof Isn't /
+                 233--242 / doi:10.1007/978-1-4612-4476-9_28 \\
+                 Vadim E. Kotov / Binding Structure and Behaviour in
+                 ``Whole Net'' Concurrency Semantics / 243--250 /
+                 doi:10.1007/978-1-4612-4476-9_29 \\
+                 F. E. J. Kruseman Aretz / Maximal Strong Components: An
+                 Exercise in Program Presentation / 251--261 /
+                 doi:10.1007/978-1-4612-4476-9_30 \\
+                 Christian Lengauer, Duncan G. Hudson / A Systolic
+                 Program for Gauss--Jordan Elimination / 262--273 /
+                 doi:10.1007/978-1-4612-4476-9_31 \\
+                 J. H. van Lint / Coding for Channels with Localized
+                 Errors / 274--279 / doi:10.1007/978-1-4612-4476-9_32
+                 \\
+                 Johan J. Lukkien, Jan L. A. van de Snepscheut /
+                 Topology-Independent Algorithms Based on Spanning Trees
+                 / 280--288 / doi:10.1007/978-1-4612-4476-9_33 \\
+                 Zohar Manna, Amir Pnueli / An Exercise in the
+                 Verification of Multi--Process Programs / 289--301 /
+                 doi:10.1007/978-1-4612-4476-9_34 \\
+                 Alain J. Martin / The Limitations to
+                 Delay--Insensitivity in Asynchronous Circuits /
+                 302--311 / doi:10.1007/978-1-4612-4476-9_35 \\
+                 Jayadev Misra / A Simple Proof of a Simple Consensus
+                 Algorithm / 312--318 / doi:10.1007/978-1-4612-4476-9_36
+                 \\
+                 Carroll Morgan / Of wp and {CSP} / 319--326 /
+                 doi:10.1007/978-1-4612-4476-9_37 \\
+                 Joseph M. Morris / Programming by Expression
+                 Refinement: the {KMP} Algorithm / 327--338 /
+                 doi:10.1007/978-1-4612-4476-9_38 \\
+                 Greg Nelson / Methodical Competitive Snoopy--Caching /
+                 339--345 / doi:10.1007/978-1-4612-4476-9_39 \\
+                 Peter G. Neumann / Beauty and the Beast of Software
+                 Complexity Elegance versus Elephants / 346--351 /
+                 doi:10.1007/978-1-4612-4476-9_40 \\
+                 W. Peremans / A Note on Feasibility / 352--355 /
+                 doi:10.1007/978-1-4612-4476-9_41 \\
+                 Karel A. Post / A Curious Property of Points and
+                 Circles in the Plane / 356--357 /
+                 doi:10.1007/978-1-4612-4476-9_42 \\
+                 Paul Pritchard / A Problem Involving Subsequences /
+                 358--364 / doi:10.1007/978-1-4612-4476-9_43 \\
+                 Martin Rem / A Personal Perspective of the
+                 Alpern--Schneider Characterization of Safety and
+                 Liveness / 365--372 / doi:10.1007/978-1-4612-4476-9_44
+                 \\
+                 Fred B. Schneider / Simpler Proofs for Concurrent
+                 Reading and Writing / 373--379 /
+                 doi:10.1007/978-1-4612-4476-9_45 \\
+                 Carel S. Scholten / Goodbye Junctivity? / 380--385 /
+                 doi:10.1007/978-1-4612-4476-9_46 \\
+                 Henk C. A. van Tilborg / An Assignment Problem for the
+                 Vertices of a Cycle / 386--389 /
+                 doi:10.1007/978-1-4612-4476-9_47 \\
+                 D. A. Turner / Duality and De Morgan Principles for
+                 Lists / 390--398 / doi:10.1007/978-1-4612-4476-9_48 \\
+                 W. M. Turski / The Quest for Timeless Specifications
+                 Leads to Non--Stepping Automata / 399--409 /
+                 doi:10.1007/978-1-4612-4476-9_49 \\
+                 Jan Tijmen Udding / The Maximum Length of a Palindrome
+                 in a Sequence / 410--416 /
+                 doi:10.1007/978-1-4612-4476-9_50 \\
+                 Lincoln A. Wallen / On Form, Formalism and Equivalence
+                 / 417--426 / doi:10.1007/978-1-4612-4476-9_51 \\
+                 N. Wirth / Drawing Lines, Circles, and Ellipses in a
+                 Raster / 427--434 / doi:10.1007/978-1-4612-4476-9_52
+                 \\
+                 Jaap van der Woude / Calculations with Relations, an
+                 Example / 435--441 / doi:10.1007/978-1-4612-4476-9_53
+                 \\
+                 Heinz Zemanek / Two Proofs for Pythagoras / 442--447 /
+                 doi:10.1007/978-1-4612-4476-9_54 \\
+                 Anonymous / Back Matter / 448--453",
+}
+
 @Proceedings{Forsley:1989:RFC,
   editor =       "Lawrence P. Forsley",
   booktitle =    "1989 Rochester Forth Conference. Industrial
diff --git a/Master/texmf-dist/scripts/texlive/NEWS b/Master/texmf-dist/scripts/texlive/NEWS
index 5d89b26fa76..a3cf6503cf1 100644
--- a/Master/texmf-dist/scripts/texlive/NEWS
+++ b/Master/texmf-dist/scripts/texlive/NEWS
@@ -1,6 +1,10 @@
 (This file public domain.  Originally written by Norbert Preining and
 Karl Berry, 2010.)
 
+<p><b>tlmgr 48598 (released 29oct18):</b>
+<li>remove debugging line for caller() left in by mistake.
+<li>update ctan backbone list (to the one remaining).
+
 <p><b>tlmgr 48522 (released 3sep18):</b>
 <li>tlmgr info: report Catalogue contact info if available.
 <li>only run mtxrun if luatex is available.