Emacs - PDFSEARCH.IO - Document Search Engine

Emacs
Results: 1198

#	Item
261	A Bibliographer’s Toolbox Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT[removed] Add to Reading List Source URL: www.tex.uniyar.ac.ru Language: English - Date: 2012-01-26 05:17:28 Formal languages Markup languages Emacs Technical communication Pattern matching TeX HTML Scribe Diff Software Computing Application software
262	Scwm: An Extensible Constraint-Enabled Window Manager Greg J. Badros InfoSpace.com 2801 Alaskan Way, Suite 200 Seattle, WA 98121, USA [removed] Add to Reading List Source URL: www.jeffreynichols.com Language: English - Date: 2014-04-05 12:47:08 Graphical user interfaces Constraint programming Cassowary Scwm X window manager FVWM Emacs Lisp Emacs SCIP Software System software Computing
263	Customizing the Caucus 2.7 ª Add to Reading List Source URL: www.caucus.com Language: English - Date: 2013-12-06 22:17:55 Emacs User interface Make Macro Caucus Text editor TeX Man page Microsoft Word Software Computing User interface techniques
264	tcsh Command Editor Commands Paul DuBois [removed] 19 May[removed]This document started out as part of one of the appendices to the O’Reilly & Associates handbook Using Add to Reading List Source URL: www.kitebird.com Language: English - Date: 2001-11-21 17:48:01 Control key Vi Text box Cursor Insert key Emacs Computer keyboard Control character Backspace Software Computing Text editors
265	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods
266	Systems Software Research is Irrelevant Rob Pike Bell Labs Lucent Technologies [removed] Add to Reading List Source URL: www.herpolhode.com Language: English - Date: 2003-04-13 02:53:35 Cross-platform software Linux Operating system Unix Software engineering Internet protocol suite System administration Linux adoption Comparison of revision control software Software Computing Emacs
267	MicroEMACS Full Screen Text Editor Reference Manual – Release Version Version 4.0 March 20, 1996 (C)Copyright 1988 – 1996 by Daniel M. Lawrence Add to Reading List Source URL: www.aquest.com Language: English - Date: 2012-07-01 02:34:13 User interfaces User interface techniques MicroEMACS Vi Control key Archy Arrow keys File manager Cursor Software Emacs Text editors
268	A Framework for Interactive Proof David Aspinall1 , Christoph L¨ uth2 , and Daniel Winterstein1 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2007-10-25 09:31:45 Cryptographic protocols Computational complexity theory Interactive proof system Proof assistant Coq IP Isabelle ACL2 Emacs Software Theoretical computer science Automated theorem proving
269	TCSH(1) TCSH(1) NAME tcsh − C shell with file name completion and command line editing Add to Reading List Source URL: www.kitebird.com Language: English - Date: 2001-11-21 17:48:11 Unix shells Command shells User interfaces User interface techniques C shell Alias Tcsh History Emacs Software Computing Scripting languages
270	Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein1 , David Aspinall1 , and Christoph L¨ uth2 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-02-06 07:36:58 Proof assistant Functional languages Isabelle Theorem prover Emacs Interactive proof system Coq KeY Mathematical proof Software Theoretical computer science Automated theorem proving

UPDATE