Emacs

Results: 1198



#Item
261Formal languages / Markup languages / Emacs / Technical communication / Pattern matching / TeX / HTML / Scribe / Diff / Software / Computing / Application software

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
262Graphical user interfaces / Constraint programming / Cassowary / Scwm / X window manager / FVWM / Emacs Lisp / Emacs / SCIP / Software / System software / Computing

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
263Emacs / User interface / Make / Macro / Caucus / Text editor / TeX / Man page / Microsoft Word / Software / Computing / User interface techniques

Customizing the Caucus 2.7 ª

Add to Reading List

Source URL: www.caucus.com

Language: English - Date: 2013-12-06 22:17:55
264Control key / Vi / Text box / Cursor / Insert key / Emacs / Computer keyboard / Control character / Backspace / Software / Computing / Text editors

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
265Functional languages / Proof assistant / Mathematical logic / Theoretical computer science / Emacs / Coq / Isabelle / Formal verification / Mathematical proof / Software / Automated theorem proving / Formal methods

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
266Cross-platform software / Linux / Operating system / Unix / Software engineering / Internet protocol suite / System administration / Linux adoption / Comparison of revision control software / Software / Computing / Emacs

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
267User interfaces / User interface techniques / MicroEMACS / Vi / Control key / Archy / Arrow keys / File manager / Cursor / Software / Emacs / Text editors

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
268Cryptographic protocols / Computational complexity theory / Interactive proof system / Proof assistant / Coq / IP / Isabelle / ACL2 / Emacs / Software / Theoretical computer science / Automated theorem proving

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
269Unix shells / Command shells / User interfaces / User interface techniques / C shell / Alias / Tcsh / History / Emacs / Software / Computing / Scripting languages

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
270Proof assistant / Functional languages / Isabelle / Theorem prover / Emacs / Interactive proof system / Coq / KeY / Mathematical proof / Software / Theoretical computer science / Automated theorem proving

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
UPDATE