Analysis of Literate Programs from the Viewpoint of Reuse
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
Donald Knuth Fletcher Jones Professor of Computer Science, Emeritus Curriculum Vitae Available Online
Donald Knuth Fletcher Jones Professor of Computer Science, Emeritus Curriculum Vitae available Online Bio BIO Donald Ervin Knuth is an American computer scientist, mathematician, and Professor Emeritus at Stanford University. He is the author of the multi-volume work The Art of Computer Programming and has been called the "father" of the analysis of algorithms. He contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. In the process he also popularized the asymptotic notation. In addition to fundamental contributions in several branches of theoretical computer science, Knuth is the creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, and the Computer Modern family of typefaces. As a writer and scholar,[4] Knuth created the WEB and CWEB computer programming systems designed to encourage and facilitate literate programming, and designed the MIX/MMIX instruction set architectures. As a member of the academic and scientific community, Knuth is strongly opposed to the policy of granting software patents. He has expressed his disagreement directly to the patent offices of the United States and Europe. (via Wikipedia) ACADEMIC APPOINTMENTS • Professor Emeritus, Computer Science HONORS AND AWARDS • Grace Murray Hopper Award, ACM (1971) • Member, American Academy of Arts and Sciences (1973) • Turing Award, ACM (1974) • Lester R Ford Award, Mathematical Association of America (1975) • Member, National Academy of Sciences (1975) 5 OF 44 PROFESSIONAL EDUCATION • PhD, California Institute of Technology , Mathematics (1963) PATENTS • Donald Knuth, Stephen N Schiller. "United States Patent 5,305,118 Methods of controlling dot size in digital half toning with multi-cell threshold arrays", Adobe Systems, Apr 19, 1994 • Donald Knuth, LeRoy R Guck, Lawrence G Hanson. -
Font HOWTO Font HOWTO
Font HOWTO Font HOWTO Table of Contents Font HOWTO......................................................................................................................................................1 Donovan Rebbechi, elflord@panix.com..................................................................................................1 1.Introduction...........................................................................................................................................1 2.Fonts 101 −− A Quick Introduction to Fonts........................................................................................1 3.Fonts 102 −− Typography.....................................................................................................................1 4.Making Fonts Available To X..............................................................................................................1 5.Making Fonts Available To Ghostscript...............................................................................................1 6.True Type to Type1 Conversion...........................................................................................................2 7.WYSIWYG Publishing and Fonts........................................................................................................2 8.TeX / LaTeX.........................................................................................................................................2 9.Getting Fonts For Linux.......................................................................................................................2 -
DE-Tex-FAQ (Vers. 72
Fragen und Antworten (FAQ) über das Textsatzsystem TEX und DANTE, Deutschsprachige Anwendervereinigung TEX e.V. Bernd Raichle, Rolf Niepraschk und Thomas Hafner Version 72 vom September 2003 Dieser Text enthält häufig gestellte Fragen und passende Antworten zum Textsatzsy- stem TEX und zu DANTE e.V. Er kann über beliebige Medien frei verteilt werden, solange er unverändert bleibt (in- klusive dieses Hinweises). Die Autoren bitten bei Verteilung über gedruckte Medien, über Datenträger wie CD-ROM u. ä. um Zusendung von mindestens drei Belegexem- plaren. Anregungen, Ergänzungen, Kommentare und Bemerkungen zur FAQ senden Sie bit- te per E-Mail an [email protected] 1 Inhalt Inhalt 1 Allgemeines 5 1.1 Über diese FAQ . 5 1.2 CTAN, das ‚Comprehensive TEX Archive Network‘ . 8 1.3 Newsgroups und Diskussionslisten . 10 2 Anwendervereinigungen, Tagungen, Literatur 17 2.1 DANTE e.V. 17 2.2 Anwendervereinigungen . 19 2.3 Tagungen »geändert« .................................... 21 2.4 Literatur »geändert« .................................... 22 3 Textsatzsystem TEX – Übersicht 32 3.1 Grundlegendes . 32 3.2 Welche TEX-Formate gibt es? Was ist LATEX? . 38 3.3 Welche TEX-Weiterentwicklungen gibt es? . 41 4 Textsatzsystem TEX – Bezugsquellen 45 4.1 Wie bekomme ich ein TEX-System? . 45 4.2 TEX-Implementierungen »geändert« ........................... 48 4.3 Editoren, Frontend-/GUI-Programme »geändert« .................... 54 5 TEX, LATEX, Makros etc. (I) 62 5.1 LATEX – Grundlegendes . 62 5.2 LATEX – Probleme beim Umstieg von LATEX 2.09 . 67 5.3 (Silben-)Trennung, Absatz-, Seitenumbruch . 68 5.4 Seitenlayout, Layout allgemein, Kopf- und Fußzeilen »geändert« . 72 6 TEX, LATEX, Makros etc. (II) 79 6.1 Abbildungen und Tafeln . -
The Verdana Font Package∗
The verdana font package∗ Walter Daems ([email protected]) January 9, 2016 1 Introduction This package is only useful when using standard LATEX. If you use XELATEXor LuaLATEX, access to fonts has been greatly simplified. In that case, you don't need this package. 'Verdana' is a common font that can be downloaded from: http: //prdownloads.sourceforge.net/corefonts/verdan32.exe?download The font is readily available on machines with a Microsoft oper- ating system. The wrapper provides a T1 encoded font. The wrapper would be most straightforward weren't it for the ligature problems that Verdana exhibits. The core of the problem is that over the years, Microsoft removed several glyphs from the font, including the ligatures ’fi’ and ’fl’ (on the T1 octal positions 34 and 35). The font version 2006 (as it can be downloaded from sourceforge), still has the ligatures. In version 2008 they have been removed. In version 2010, even more glyphs have been removed. The reason for removing these glyphs is unclear to me. To overcome these issues, the wrapper provides an option 'nofligs' (shorthand for 'no f-ligatures'), that disables the invo- cation of these ligatures involving f. ∗This document corresponds to verdana 1.2b, dated 2016/01/08. 1 If a testpage, or a testfont page generated with TEX shows miss- ing ligatures, then just use the options 'nofligs'. Most standard TEX installations do embed fonts in PDF files. How- ever, in case your PDF document does not contain embedded fonts, make sure, when handing over a PDF document contain- ing Verdana to your publishing company, to check wether their version of Verdana contains the fi and fl glyphs. -
Miktex Manual Revision 2.0 (Miktex 2.0) December 2000
MiKTEX Manual Revision 2.0 (MiKTEX 2.0) December 2000 Christian Schenk <[email protected]> Copyright c 2000 Christian Schenk Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies. Permission is granted to copy and distribute modified versions of this manual under the con- ditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one. Permission is granted to copy and distribute translations of this manual into another lan- guage, under the above conditions for modified versions, except that this permission notice may be stated in a translation approved by the Free Software Foundation. Chapter 1: What is MiKTEX? 1 1 What is MiKTEX? 1.1 MiKTEX Features MiKTEX is a TEX distribution for Windows (95/98/NT/2000). Its main features include: • Native Windows implementation with support for long file names. • On-the-fly generation of missing fonts. • TDS (TEX directory structure) compliant. • Open Source. • Advanced TEX compiler features: -TEX can insert source file information (aka source specials) into the DVI file. This feature improves Editor/Previewer interaction. -TEX is able to read compressed (gzipped) input files. - The input encoding can be changed via TCX tables. • Previewer features: - Supports graphics (PostScript, BMP, WMF, TPIC, . .) - Supports colored text (through color specials) - Supports PostScript fonts - Supports TrueType fonts - Understands HyperTEX(html:) specials - Understands source (src:) specials - Customizable magnifying glasses • MiKTEX is network friendly: - integrates into a heterogeneous TEX environment - supports UNC file names - supports multiple TEXMF directory trees - uses a file name database for efficient file access - Setup Wizard can be run unattended The MiKTEX distribution consists of the following components: • TEX: The traditional TEX compiler. -
About Basictex-2021
About BasicTeX-2021 Richard Koch January 2, 2021 1 Introduction Most TeX distributions for Mac OS X are based on TeX Live, the reference edition of TeX produced by TeX User Groups across the world. Among these is MacTeX, which installs the full TeX Live as well as front ends, Ghostscript, and other utilities | everything needed to use TeX on the Mac. To obtain it, go to http://tug.org/mactex. 2 Basic TeX BasicTeX (92 MB) is an installation package for Mac OS X based on TeX Live 2021. Unlike MacTeX, this package is deliberately small. Yet it contains all of the standard tools needed to write TeX documents, including TeX, LaTeX, pdfTeX, MetaFont, dvips, MetaPost, and XeTeX. It would be dangerous to construct a new distribution by going directly to CTAN or the Web and collecting useful style files, fonts and so forth. Such a distribution would run into support issues as the creators move on to other projects. Luckily, the TeX Live install script has its own notion of \installation packages" and collections of such packages to make \installation schemes." BasicTeX is constructed by running the TeX Live install script and choosing the \small" scheme. Thus it is a subset of the full TeX Live with exactly the TeX Live directory structure and configuration scripts. Moreover, BasicTeX contains tlmgr, the TeX Live Manager software introduced in TeX Live 2008, which can install additional packages over the network. So it will be easy for users to add missing packages if needed. Since it is important that the install package come directly from the standard TeX Live distribution, I'm going to explain exactly how I installed TeX to produce the install package. -
Installation
APPENDIX A Installation In case you do not already have a LATEX installation, in Sections A.1 and A.2, we describe how to install LATEX on your computer, a PC or a Mac. The installation is much easier if you obtain TEX Live 2007 (or later) from the TEX Users Group, TUG (see Section E.2). It contains both the TEX implementations we discuss. No installation is given for UNIX computers. The attraction of UNIX to its users is the incredibly large number of options, from the UNIX dialect, to the shell, the editor, and so on. A typical UNIX user downloads the code and compiles the system. This is obviously beyond the scope of this book. Nevertheless, TEX Live 2007 (or later) from the TEX Users Group supplies the compiled (binaries) of LATEX for a number of UNIX variants. First read Chapter 1, so that in this Appendix you recognize the terminology we introduce there. I will assume that you become sufficiently familiar with your LATEX distribution to be able to perform the editing cycle with the sample documents. 490 Appendix A Installation A.1 LATEX on a PC On a PC, most mathematicians use MiKTeX and the editor WinEdt. So it seems appro- priate that we start there. A.1.1 Installing MiKTeX If you made a donation to MiKTeX or if you have the TEX Live 2007 (or later) from the TEX Users Group, then you have a CD or DVD with the MiKTeX installer. Installation then is in one step and very fast. In case you do not have this CD or DVD, we show how to install from the Internet. -
A Directory Structure for TEX Files TUG Working Group on a TEX Directory Structure (TWG-TDS) Version 1.1 June 23, 2004
A Directory Structure for TEX Files TUG Working Group on a TEX Directory Structure (TWG-TDS) version 1.1 June 23, 2004 Copyright c 1994, 1995, 1996, 1997, 1998, 1999, 2003, 2004 TEX Users Group. Permission to use, copy, and distribute this document without modification for any purpose and without fee is hereby granted, provided that this notice appears in all copies. It is provided “as is” without expressed or implied warranty. Permission is granted to copy and distribute modified versions of this document under the condi- tions for verbatim copying, provided that the modifications are clearly marked and the document is not represented as the official one. This document is available on any CTAN host (see Appendix D). Please send questions or suggestions by email to [email protected]. We welcome all comments. This is version 1.1. Contents 1 Introduction 2 1.1 History . 2 1.2 The role of the TDS ................................... 2 1.3 Conventions . 3 2 General 3 2.1 Subdirectory searching . 3 2.2 Rooting the tree . 4 2.3 Local additions . 4 2.4 Duplicate filenames . 5 3 Top-level directories 5 3.1 Macros . 6 3.2 Fonts............................................ 8 3.3 Non-font METAFONT files................................ 10 3.4 METAPOST ........................................ 10 3.5 BIBTEX .......................................... 11 3.6 Scripts . 11 3.7 Documentation . 12 4 Summary 13 4.1 Documentation tree summary . 14 A Unspecified pieces 15 A.1 Portable filenames . 15 B Implementation issues 16 B.1 Adoption of the TDS ................................... 16 B.2 More on subdirectory searching . 17 B.3 Example implementation-specific trees . -
An Interview with Donald Knuth 33
Bijlage M An Interview with Donald Knuth 33 An Interview with Donald Knuth DDJ chats with one of the world's leading computer scientists Jack Woehr Dr. Dobb's Journal∗ [email protected] April 1996 For over 25 years, Donald E. Knuth has generally been honorable term, but to some people a computer program- considered one of the world's leading computer scientists. mer is somebody who just follows instructions without un- Although he's authored more than 150 publications, it is derstanding what he's doing, one who just knows how to Knuth's three-volume The Art of Computer Programming get through the idiosyncrasies of some language. which has become a staple on every programmer's book- To me, a computer scientist is somebody who has a way shelf. In 1974, Knuth was the recipient of computer sci- of thinking, which resonates with computer programming. ence's most prestigious prize, the Turing Award. He also The way a computer scientist views knowledge in general received the National Medal of Science in 1979. is different from the way a mathematician views knowl- In addition to his work developing fundamental algorithms edge, which is different from the way a physicist views for computer programming, Knuth was a pioneer in com- knowledge, which is different from the way a chemist, puter typesetting with his TEX, METAFONT, and WEB ap- lawyer, or poet views knowledge. plications. He has written on topics as singular as ancient There's about one person in every ®fty who has this pecu- Babylonian algorithms and has penned a novel. -
The Annals of the UK TEX Users' Group Editor: Editor
Baskerville The Annals of the UK TEX Users’ Group Editor: Editor: Sebastian Rahtz Vol. 4 No. 6 ISSN 1354–5930 February 1998 Articles may be submitted via electronic mail to [email protected], or on MSDOS-compatible discs, to Sebastian Rahtz, Elsevier Science Ltd, The Boulevard, Langford Lane, Kidlington, Oxford OX5 1GB, to whom any correspondence concerning Baskerville should also be addressed. This reprint of Baskerville is set in Times Roman, with Computer Modern Typewriter for literal text; the source is archived on CTAN in usergrps/uktug. Back issues from the previous 12 months may be ordered from UKTUG for £2 each; earlier issues are archived on CTAN in usergrps/uktug. Please send UKTUG subscriptions, and book or software orders, to Peter Abbott, 1 Eymore Close, Selly Oak, Birmingham B29 4LB. Fax/telephone: 0121 476 2159. Email enquiries about UKTUG to uktug- [email protected]. –1– I Editorial This is the first edition of Baskerville entirely devoted to a single topic. It arose from discussion within your committee of what we might reasonably do which helps our members, but which isn’t already done elsewhere. We hope it will prove useful to you. We would welcome comments on the utility or otherwise of the article, and on ways it could be improved; letters to the editor are always welcome. Future uses of this edition could include inserting it into a ‘new members pack’, publishing updated questions, and possibly republishing the whole thing. This edition of Baskerville was processed using a testing copy of the December 1994 release of LATEX2ε, but none of the answers to questions assume that that version is available (it’s scheduled for public release in the middle of December). -
§1 1 1. Comments on Yac2o2's Readmev1 .1 File — Date
x1 READMEV1.1 COMMENTS ON Yac2o2'S READMEV1 :1 FILE | DATE: February 16, 2015 1 1. Comments on Yac2o2's READMEv1 :1 file | Date: February 16, 2015. Project: Yac2o2 | Multi-threaded lr(1) Compiler/compiler system Distributed under license: Mozilla Public License, v. 2.0. Distribution Date: February 16, 2015 Distribution version: 1.1 Comments: Currently for the Unix flavoured Platforms Author: Dave Bone Support email: [email protected] Contributors list: Dave Bone The distribution contains the programs: compiler/compiler O2 and its linker O2linker, along with its runtime library yacco2. There are build scripts for platforms: Apple, GNU, Solaris. Various documents, grammars, reference manual, quality assurance suites, and generated c++ source code are included. These items are elaborated upon further within this document. 2. License. Yac2o2's distributed source code is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, you can obtain one at http://mozilla.org/MPL/2.0/. As best as I could, the \Literate programming" w type files contain a reference to this license along with their generated documents. The c++ source files generated from the w files do not and will not have any comments referencing this license but are also subject to its terms. The ctangle program generating the c++ code does not emit programmer c type comments. It emits \#line" macro references to the w file and only c comments to its gened document's section number. Any discovered license omissions required to be referenced within Yac2o2's Project files are still covered by this license and will be corrected in future distributions. -
Math Symbol Tables
APPENDIX A Math symbol tables A.1 Hebrew and Greek letters Hebrew letters Type Typeset \aleph ℵ \beth ℶ \daleth ℸ \gimel ℷ © Springer International Publishing AG 2016 481 G. Grätzer, More Math Into LATEX, DOI 10.1007/978-3-319-23796-1 482 Appendix A Math symbol tables Greek letters Lowercase Type Typeset Type Typeset Type Typeset \alpha \iota \sigma \beta \kappa \tau \gamma \lambda \upsilon \delta \mu \phi \epsilon \nu \chi \zeta \xi \psi \eta \pi \omega \theta \rho \varepsilon \varpi \varsigma \vartheta \varrho \varphi \digamma ϝ \varkappa Uppercase Type Typeset Type Typeset Type Typeset \Gamma Γ \Xi Ξ \Phi Φ \Delta Δ \Pi Π \Psi Ψ \Theta Θ \Sigma Σ \Omega Ω \Lambda Λ \Upsilon Υ \varGamma \varXi \varPhi \varDelta \varPi \varPsi \varTheta \varSigma \varOmega \varLambda \varUpsilon A.2 Binary relations 483 A.2 Binary relations Type Typeset Type Typeset < < > > = = : ∶ \in ∈ \ni or \owns ∋ \leq or \le ≤ \geq or \ge ≥ \ll ≪ \gg ≫ \prec ≺ \succ ≻ \preceq ⪯ \succeq ⪰ \sim ∼ \approx ≈ \simeq ≃ \cong ≅ \equiv ≡ \doteq ≐ \subset ⊂ \supset ⊃ \subseteq ⊆ \supseteq ⊇ \sqsubseteq ⊑ \sqsupseteq ⊒ \smile ⌣ \frown ⌢ \perp ⟂ \models ⊧ \mid ∣ \parallel ∥ \vdash ⊢ \dashv ⊣ \propto ∝ \asymp ≍ \bowtie ⋈ \sqsubset ⊏ \sqsupset ⊐ \Join ⨝ Note the \colon command used in ∶ → 2, typed as f \colon x \to x^2 484 Appendix A Math symbol tables More binary relations Type Typeset Type Typeset \leqq ≦ \geqq ≧ \leqslant ⩽ \geqslant ⩾ \eqslantless ⪕ \eqslantgtr ⪖ \lesssim ≲ \gtrsim ≳ \lessapprox ⪅ \gtrapprox ⪆ \approxeq ≊ \lessdot