Debra Cameron and Bill Rosenblatt. Learning GNU Emacs. O'Reilly & Associates, Inc., 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Ishmail: Immediate Identification of Important Information - Helfman (1995) (8 citations) (Correct)
....list and marked with various alarm symbols. A click in the summary lets a user read any mailbox. Single keystrokes invoke other commands (e.g. edit mailbox definitions, show detailed information, reapply filters, etc. Ishmail s user interface is fully integrated with the GNU Emacs text editor [4] and the Emacs email program, Rmail. We believe that Ishmail represents the proper compromise between a simple email program and a complex message filtering system. In particular, Ishmail has the look and feel of a familiar email program, but has extensions that let users control more than one ....
Debra Cameron and Bill Rosenblatt. Learning GNU Emacs. O'Reilly & Associates, Inc., 1991.
Implementing Proof by Pointing without a Structure Editor - Bertot.. (1997) (4 citations) (Correct)
.... for instance TkHOL [15] that uses the graphical toolkit Tcl Tk [11] and CtCoq [1] and cHOL [16] that use a communication kit based on the programming environment generator Centaur [17] A sensible approach can also be to program a specic environment using a programmable text editor like Emacs [5]. Even though the programming environment can still be described as a graphical environment, since the editor can handle multiple fonts and colors, popup and pulldown menus, and mouse interaction, it is also fair to indicate that environments built this way are also adapted to work on plain ....
Debra Cameron and Bill Rosenblatt. Learning GNU Emacs. O'Reilly & Associates, Inc., 1991.
Interactive Programming Environment for ML - Rideau, Thery (1997) (12 citations) (Correct)
....of the map function ) let rec map = function f, f, hd : tl) f hd: map (f, tl) Note that comments are in typewriter style while patterns are in italic. There are two main dioeerences between the Centaur approach and the usual pretty printing provided by editors such as Emacs [4]. In Centaur, the layout is based on the abstract syntax tree representation of programs. Given a source le, it is rst parsed to produce a syntax tree. Then using a set of rules, the layout of the tree is computed. So the pretty printing is automatic and is performed independently of the initial ....
Debra Cameron and Bill Rosenblatt. Learning GNU Emacs. O'Reilly & Associates, Inc., 1991.
An Evolutionary Approach to Constructing Effective Software.. - Henninger (1999) (8 citations) (Correct)
....The CodeFinder PEEL Repository CodeFinder and PEEL were designed to investigate the cost benefit tradeoffs associated with building and using a repository to support the design process. These issues have been investigated in the domain of Emacs Lisp customizations for the GNU Emacs text editor [Cameron, Rosenblatt 1991; Stallman 1981] Components are Emacs Lisp functions, variables, and constants that define two e mail and three network news reader applications that can be executed from the Emacs text editor environment. Emacs Lisp is a variant of Lisp that has specialized constructs and primitives for editing ....
Cameron, D., Rosenblatt, B. Learning GNU Emacs, O'Reilly & Associates, Sebastopol, CA.
Head-Tactics Optimization - Bertot (1997) (Correct)
.... the initial algorithm is intended for icommonj logics, extensions of this notion have also been studied for modal logic [10] On the implementation side, the importance of structure editors for mouse interaction has also been studied and an experiment using the Lego proof system [14] and Emacs [6] have shown that this coupling could be lessened [3] 2 Domain of study In this section we rst describe how proof assistants can use the Curry Howard paradigm to represent proofs and how this model can be used in uniform tactics. 2.1 The Curry Howard isomorphism and head oriented tactics This ....
Debra Cameron and Bill Rosenblatt. Learning GNU Emacs. O'Reilly & Associates, Inc., 1991.
Information Access Tools for Software Reuse - Henninger (1995) (4 citations) (Correct)
....algorithms. 2.1 The CodeFinder Repository CodeFinder was designed to investigate the cost benefit tradeoffs associated with building and using a repository to support the design process. These issues have been investigated in the domain of Emacs LISP customizations for the GNU Emacs text editor [31, 32]. Components are Emacs LISP functions, variables, and constants that define two e mail and three network news reader applications that can be executed from the Emacs text editor environment. Emacs LISP is a variant of Lisp that has specialized constructs and primitives specially suited for editing ....
D. Cameron, B. Rosenblatt, Learning GNU Emacs, O'Reilly & Associates, Sebastopol, CA, 1991.
Setting Up a Modem on a Unix Workstation: Don't try this at home - Outerbridge (Correct)
....1992; U.S. Robotics, 1993) 8 such as on HP 9000 workstations running HP UX 9 On a dial out system, however, you don t want your Ctrl S Ctrl Q commands to be ignored. This is a case of the computer being able to keep pace with what the modem gives it but the user not being able to do so. 10 Cameron and Rosenblatt (1991) describe how to reassign that functionality in emacs where use of XON XOFF is unavoidable The XON XOFF characters DC1 and DC3 are not generally used in text processing. However, they are quite likely to appear in any randomly selected binary file, and they are also used by Xmodem type ....
Cameron, D. and Rosenblatt, B. (1991). Learning GNU Emacs. O'Reilly & Associates, Sebastopol, Ca.
A Generic Approach to Building User Interfaces for Theorem.. - Bertot, Théry (1996) (10 citations) (Correct)
....processes. Other theorem provers only provide crude user interfaces, rarely going beyond extensible pretty printing and parsing. Users are then left on their own to nd or implement some support. A signi cant advance in this respect is provided by the extensible and programmable text editor Emacs (Cameron Rosenblatt (1991)) with its shell buffer functionality, that makes it possible to record all traces of interaction with the proof system in a le. Also, shortcuts for frequent interaction patterns can be implemented as macros or menu options. However, this approach lacks support for manipulating the inherent ....
Cameron, D. & Rosenblatt, B. (1991). Learning GNU Emacs. O'Reilly & Associates, Inc.
A Generic Approach to Building User Interfaces for Theorem.. - Bertot, Théry (1995) (10 citations) (Correct)
....processes. Other theorem provers only provide crude user interfaces, rarely going beyond extensible pretty printing and parsing. Users are then left on their own to nd or implement some support. A signi cant advance in this respect is provided by the extensible and programmable text editor Emacs (Cameron Rosenblatt (1991)) with its shell buffer functionality, that makes it possible to record all traces of interaction with the proof system in a le. Also, shortcuts for frequent interaction patterns can be implemented as macros or menu options. For example, the PVS system (Shankar et al. 1993) uses the Emacs ....
Cameron, D. & Rosenblatt, B. (1991). Learning GNU Emacs. O'Reilly & Associates, Inc.
Head-Tactics Simplification - Bertot (1997) (Correct)
No context found.
Debra Cameron and Bill Rosenblatt. Learning GNU Emacs. O'Reilly & Associates, Inc., 1991.
A Generic Approach to Building User Interfaces for Theorem.. - Bertot, Thery (1998) (10 citations) (Correct)
No context found.
Cameron, D. & Rosenblatt, B. (1991). Learning GNU Emacs. O'Reilly & Associates, Inc.
Teaching CS/1 Courses in a Literate Manner - Childs, Dunn, Lively (Correct)
No context found.
Cameron, D., and Rosenblatt, B. Learning GNU Emacs. O'Reilly & Associates, Inc., Sebastopol, CA, 1991.
A Summary of Emacs Commands Notations and Definitions - Del Spc And (Correct)
No context found.
Cameran and Rosenblatt, Learning GNU EMACS.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC