OSL - PDFSEARCH.IO - Document Search Engine

OSL
Results: 819

#	Item
291	LATEX News Issue 13, June 2000 Yearly release cycle We announced in LATEX News 11 that we intended to switch to a 12-monthly release schedule. With the Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2014-10-15 10:34:13 Digital typography Typesetting TeX Donald Knuth LaTeX PostScript ConTeXt PSfrag Application software Typography Computing
292	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
293	ttf2tex A TrueType Font Installer for Unix Version 0.70 September 30, 2004 End-of-Life Announcement As of September 30, 2004, ttf2tex is no longer maintained or in any way Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2004-09-28 20:00:00 Typesetting Donald Knuth Adobe Systems TeX OpenType TrueType PostScript fonts Computer font Typeface Digital typography Typography Application software
294	PDF Document Add to Reading List Source URL: osl.ugr.es - Date: 2013-01-10 17:27:19
295	SQLTEX v1.5 Oscar van Eijk November 21, 2007 Contents Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2007-11-23 06:46:21 SQL keywords Relational database management systems Cross-platform software Database management systems Scripting languages SQL Null Command-line interface Insert Computing Data management Software
296	LATEX for Complete Novices Version 1.4 Nicola L. C. Talbot Dickimaw Books http://www.dickimaw-books.com/ Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2014-02-09 10:23:03 TeX Typesetting Macro programming languages LaTeX Device independent file format Application software Computing Typography
297	ASCII CONTROL CODE CHART 0 b7 0 Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2010-11-21 11:54:47 Control character ASCII Barcodes Character encoding Varicode
298	RUG LaTEX Course Siep Kroonenberg RUG LaTEX Course, version 1.04 July 13, 2014 Created for the Faculty of Economics and Business of the University of Groningen Copyright © 2014 Siep Kroonenberg Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2014-07-13 09:56:14 Digital typography LaTeX Beamer PGF/TikZ Gummi Software Application software TeX
299	BUNDLEDOC(1) User Commands BUNDLEDOC(1) Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2014-08-25 01:07:45 Archive formats Cross-platform software LaTeX TeX Tar Filename File system Find Configuration file Computing Software Computer file formats
300	MnSymbol – A Math Symbol Font Achim Blumensath∗ [removed]MnSymbol is a font of mathematical symbols designed as companion to Adobe MinionPro, but it might also fit well to other renaissance or baroque faces. To use Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2007-01-23 06:07:47 Punctuation Typography Ã Õ Diaeresis Universal quantification Latin script C1 Controls and Latin-1 Supplement World glyph set Linguistics Orthography Diacritic

UPDATE