GNU Hyperbole Manual

Total Page:16

File Type:pdf, Size:1020Kb

GNU Hyperbole Manual GNU Hyperbole Manual The Everyday Hypertextual Information Manager Bob Weiner This manual is for GNU Hyperbole (Edition 7.1.3, Published August, 2020). Copyright c 1989-2020 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation. GNU Hyperbole sofware is distributed under the terms of the GNU General Public License version 3 or later, as published by the Free Software Foundation, Inc. GNU Hyperbole is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY, without even the implied warranty of MERCHANTABIL- ITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details in the file, \COPYING", within the Hyperbole package directory. Published by the Free Software Foundation, Inc. Author: Bob Weiner E-mail: <[email protected]> (This is a mail list). Web: www.gnu.org/software/hyperbole The body of the manual was written in Emacs and laid out using the GNU Texinfo markup language. i Short Contents GNU Hyperbole :::::::::::::::::::::::::::::::::::::::::: 1 1 Introduction :::::::::::::::::::::::::::::::::::::::::: 2 2 Smart Keys :::::::::::::::::::::::::::::::::::::::::: 7 3 Buttons :::::::::::::::::::::::::::::::::::::::::::: 18 4 Menus:::::::::::::::::::::::::::::::::::::::::::::: 38 5 HyControl :::::::::::::::::::::::::::::::::::::::::: 42 6 Koutliner ::::::::::::::::::::::::::::::::::::::::::: 47 7 HyRolo ::::::::::::::::::::::::::::::::::::::::::::: 59 8 Window Configurations :::::::::::::::::::::::::::::::: 66 9 Developing with Hyperbole ::::::::::::::::::::::::::::: 68 A Glossary :::::::::::::::::::::::::::::::::::::::::::: 74 B Setup :::::::::::::::::::::::::::::::::::::::::::::: 81 C Global Key Bindings :::::::::::::::::::::::::::::::::: 91 D Koutliner Keys::::::::::::::::::::::::::::::::::::::: 94 E Smart Key Reference ::::::::::::::::::::::::::::::::: 102 F Suggestion or Bug Reporting :::::::::::::::::::::::::: 128 G Questions and Answers ::::::::::::::::::::::::::::::: 129 H Future Work:::::::::::::::::::::::::::::::::::::::: 131 I References ::::::::::::::::::::::::::::::::::::::::: 133 Key Index ::::::::::::::::::::::::::::::::::::::::::::: 135 Function, Variable and File Index :::::::::::::::::::::::::: 139 Concept Index :::::::::::::::::::::::::::::::::::::::::: 143 ii Table of Contents GNU Hyperbole::::::::::::::::::::::::::::::::::::: 1 1 Introduction ::::::::::::::::::::::::::::::::::::: 2 1.1 Manual Overview ::::::::::::::::::::::::::::::::::::::::::::::: 2 1.2 Motivation ::::::::::::::::::::::::::::::::::::::::::::::::::::: 3 1.3 Hyperbole Overview :::::::::::::::::::::::::::::::::::::::::::: 3 1.4 Mail Lists :::::::::::::::::::::::::::::::::::::::::::::::::::::: 6 2 Smart Keys :::::::::::::::::::::::::::::::::::::: 7 2.1 Smart Key Bindings :::::::::::::::::::::::::::::::::::::::::::: 7 2.2 Smart Key Operations :::::::::::::::::::::::::::::::::::::::::: 7 2.3 Smart Key Argument Selection :::::::::::::::::::::::::::::::: 10 2.4 Smart Key Debugging ::::::::::::::::::::::::::::::::::::::::: 11 2.5 Smart Key Thing Selection :::::::::::::::::::::::::::::::::::: 11 2.6 Smart Mouse Key Modeline Clicks ::::::::::::::::::::::::::::: 12 2.7 Smart Mouse Key Drags::::::::::::::::::::::::::::::::::::::: 14 2.7.1 Creating and Deleting Windows::::::::::::::::::::::::::: 14 2.7.2 Saving and Restoring Window Configurations ::::::::::::: 14 2.7.3 Resizing Windows :::::::::::::::::::::::::::::::::::::::: 14 2.7.4 Moving Frames ::::::::::::::::::::::::::::::::::::::::::: 15 2.7.5 Dragging Buffers, Windows and Items::::::::::::::::::::: 15 2.7.5.1 Swapping Buffers :::::::::::::::::::::::::::::::::::: 15 2.7.5.2 Displaying Buffers ::::::::::::::::::::::::::::::::::: 15 2.7.5.3 Cloning Windows :::::::::::::::::::::::::::::::::::: 15 2.7.5.4 Displaying File and Buffer Items ::::::::::::::::::::: 15 2.7.5.5 Keyboard Drags ::::::::::::::::::::::::::::::::::::: 16 3 Buttons ::::::::::::::::::::::::::::::::::::::::: 18 3.1 Explicit Buttons::::::::::::::::::::::::::::::::::::::::::::::: 19 3.2 Global Buttons :::::::::::::::::::::::::::::::::::::::::::::::: 19 3.3 Implicit Buttons::::::::::::::::::::::::::::::::::::::::::::::: 20 3.3.1 Implicit Button Types :::::::::::::::::::::::::::::::::::: 21 3.3.2 Action Buttons ::::::::::::::::::::::::::::::::::::::::::: 28 3.4 Button Files::::::::::::::::::::::::::::::::::::::::::::::::::: 28 3.5 Action Types:::::::::::::::::::::::::::::::::::::::::::::::::: 29 3.6 Button Type Precedence::::::::::::::::::::::::::::::::::::::: 32 3.7 Utilizing Explicit Buttons ::::::::::::::::::::::::::::::::::::: 33 3.7.1 Creation:::::::::::::::::::::::::::::::::::::::::::::::::: 33 3.7.1.1 Creation Via Action Key Drags :::::::::::::::::::::: 33 3.7.1.2 Creation Via Menus ::::::::::::::::::::::::::::::::: 34 3.7.2 Renaming :::::::::::::::::::::::::::::::::::::::::::::::: 34 3.7.3 Deletion :::::::::::::::::::::::::::::::::::::::::::::::::: 35 iii 3.7.4 Modification :::::::::::::::::::::::::::::::::::::::::::::: 35 3.7.5 Searching and Summarizing::::::::::::::::::::::::::::::: 35 3.7.6 Buttons in Mail :::::::::::::::::::::::::::::::::::::::::: 36 3.7.7 Buttons in News:::::::::::::::::::::::::::::::::::::::::: 37 4 Menus ::::::::::::::::::::::::::::::::::::::::::: 38 5 HyControl :::::::::::::::::::::::::::::::::::::: 42 6 Koutliner ::::::::::::::::::::::::::::::::::::::: 47 6.1 Menu Commands:::::::::::::::::::::::::::::::::::::::::::::: 48 6.2 Creating Outlines ::::::::::::::::::::::::::::::::::::::::::::: 49 6.3 Autonumbering:::::::::::::::::::::::::::::::::::::::::::::::: 50 6.4 Idstamps :::::::::::::::::::::::::::::::::::::::::::::::::::::: 51 6.5 Editing:::::::::::::::::::::::::::::::::::::::::::::::::::::::: 51 6.5.1 Adding and Killing ::::::::::::::::::::::::::::::::::::::: 51 6.5.2 Relocating and Copying :::::::::::::::::::::::::::::::::: 51 6.5.3 Moving Around::::::::::::::::::::::::::::::::::::::::::: 53 6.5.4 Filling :::::::::::::::::::::::::::::::::::::::::::::::::::: 53 6.5.5 Transposing :::::::::::::::::::::::::::::::::::::::::::::: 53 6.5.6 Splitting and Appending :::::::::::::::::::::::::::::::::: 54 6.5.7 Inserting and Importing :::::::::::::::::::::::::::::::::: 54 6.5.8 Exporting :::::::::::::::::::::::::::::::::::::::::::::::: 55 6.6 Viewing ::::::::::::::::::::::::::::::::::::::::::::::::::::::: 55 6.6.1 Hiding and Showing :::::::::::::::::::::::::::::::::::::: 55 6.6.2 View Specs ::::::::::::::::::::::::::::::::::::::::::::::: 56 6.7 Links:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 56 6.8 Cell Attributes :::::::::::::::::::::::::::::::::::::::::::::::: 57 6.9 Koutliner History:::::::::::::::::::::::::::::::::::::::::::::: 58 7 HyRolo:::::::::::::::::::::::::::::::::::::::::: 59 7.1 HyRolo Concepts :::::::::::::::::::::::::::::::::::::::::::::: 59 7.2 Rolo Menu :::::::::::::::::::::::::::::::::::::::::::::::::::: 60 7.3 HyRolo Searching ::::::::::::::::::::::::::::::::::::::::::::: 61 7.4 HyRolo Keys :::::::::::::::::::::::::::::::::::::::::::::::::: 62 7.5 HyRolo Settings ::::::::::::::::::::::::::::::::::::::::::::::: 63 8 Window Configurations:::::::::::::::::::::::: 66 iv 9 Developing with Hyperbole ::::::::::::::::::: 68 9.1 Hook Variables :::::::::::::::::::::::::::::::::::::::::::::::: 68 9.2 Creating Types :::::::::::::::::::::::::::::::::::::::::::::::: 69 9.2.1 Action Type Creation :::::::::::::::::::::::::::::::::::: 70 9.2.2 Implicit Button Type Creation:::::::::::::::::::::::::::: 71 9.3 Explicit Button Technicalities:::::::::::::::::::::::::::::::::: 72 9.3.1 Button Label Normalization :::::::::::::::::::::::::::::: 72 9.3.2 Operational and Storage Formats ::::::::::::::::::::::::: 72 9.3.3 Programmatic Button Creation ::::::::::::::::::::::::::: 73 9.4 Encapsulating Systems :::::::::::::::::::::::::::::::::::::::: 73 9.5 Embedding Hyperbole ::::::::::::::::::::::::::::::::::::::::: 73 Appendix A Glossary :::::::::::::::::::::::::::: 74 Appendix B Setup:::::::::::::::::::::::::::::::: 81 B.1 Installation ::::::::::::::::::::::::::::::::::::::::::::::::::: 81 B.2 Invocation :::::::::::::::::::::::::::::::::::::::::::::::::::: 81 B.3 Customization :::::::::::::::::::::::::::::::::::::::::::::::: 83 B.3.1 Referent Display ::::::::::::::::::::::::::::::::::::::::: 84 B.3.2 Internal Viewers:::::::::::::::::::::::::::::::::::::::::: 84 B.3.3 External Viewers ::::::::::::::::::::::::::::::::::::::::: 86 B.3.4 Link Variable Substitution ::::::::::::::::::::::::::::::: 87 B.3.5 Web Search Engines:::::::::::::::::::::::::::::::::::::: 87 B.3.6 Using URLs with Find-File ::::::::::::::::::::::::::::::: 88 B.3.7 Invisible Text Searches ::::::::::::::::::::::::::::::::::: 89 B.3.8 Configuring Button Colors ::::::::::::::::::::::::::::::: 90 Appendix C Global Key Bindings :::::::::::::: 91 C.1 Binding Minibuffer Menu Items ::::::::::::::::::::::::::::::: 91 C.2 Default Global Bindings::::::::::::::::::::::::::::::::::::::: 91 Appendix D Koutliner Keys ::::::::::::::::::::: 94 Appendix E Smart Key Reference::::::::::::: 102 E.1 Smart Mouse Keys ::::::::::::::::::::::::::::::::::::::::::: 102 E.1.1 Minibuffer Menu Activation ::::::::::::::::::::::::::::: 102 E.1.2 Thing Selection ::::::::::::::::::::::::::::::::::::::::: 102 E.1.3 Side-by-Side Window Resizing::::::::::::::::::::::::::: 103 E.1.4 Modeline Clicks and Drags :::::::::::::::::::::::::::::: 104 E.1.5 Smart Mouse Drags between Windows::::::::::::::::::: 105 E.1.6 Smart Mouse Drags within a Window
Recommended publications
  • Debian Developer's Reference Version 12.0, Released on 2021-09-01
    Debian Developer’s Reference Release 12.0 Developer’s Reference Team 2021-09-01 CONTENTS 1 Scope of This Document 3 2 Applying to Become a Member5 2.1 Getting started..............................................5 2.2 Debian mentors and sponsors......................................6 2.3 Registering as a Debian member.....................................6 3 Debian Developer's Duties 9 3.1 Package Maintainer's Duties.......................................9 3.1.1 Work towards the next stable release............................9 3.1.2 Maintain packages in stable .................................9 3.1.3 Manage release-critical bugs.................................. 10 3.1.4 Coordination with upstream developers............................ 10 3.2 Administrative Duties.......................................... 10 3.2.1 Maintaining your Debian information............................. 11 3.2.2 Maintaining your public key.................................. 11 3.2.3 Voting.............................................. 11 3.2.4 Going on vacation gracefully.................................. 12 3.2.5 Retiring............................................. 12 3.2.6 Returning after retirement................................... 13 4 Resources for Debian Members 15 4.1 Mailing lists............................................... 15 4.1.1 Basic rules for use....................................... 15 4.1.2 Core development mailing lists................................. 15 4.1.3 Special lists........................................... 16 4.1.4 Requesting new
    [Show full text]
  • Tuto Documentation Release 0.1.0
    Tuto Documentation Release 0.1.0 DevOps people 2020-05-09 09H16 CONTENTS 1 Documentation news 3 1.1 Documentation news 2020........................................3 1.1.1 New features of sphinx.ext.autodoc (typing) in sphinx 2.4.0 (2020-02-09)..........3 1.1.2 Hypermodern Python Chapter 5: Documentation (2020-01-29) by https://twitter.com/cjolowicz/..................................3 1.2 Documentation news 2018........................................4 1.2.1 Pratical sphinx (2018-05-12, pycon2018)...........................4 1.2.2 Markdown Descriptions on PyPI (2018-03-16)........................4 1.2.3 Bringing interactive examples to MDN.............................5 1.3 Documentation news 2017........................................5 1.3.1 Autodoc-style extraction into Sphinx for your JS project...................5 1.4 Documentation news 2016........................................5 1.4.1 La documentation linux utilise sphinx.............................5 2 Documentation Advices 7 2.1 You are what you document (Monday, May 5, 2014)..........................8 2.2 Rédaction technique...........................................8 2.2.1 Libérez vos informations de leurs silos.............................8 2.2.2 Intégrer la documentation aux processus de développement..................8 2.3 13 Things People Hate about Your Open Source Docs.........................9 2.4 Beautiful docs.............................................. 10 2.5 Designing Great API Docs (11 Jan 2012)................................ 10 2.6 Docness.................................................
    [Show full text]
  • Emacspeak — the Complete Audio Desktop User Manual
    Emacspeak | The Complete Audio Desktop User Manual T. V. Raman Last Updated: 19 November 2016 Copyright c 1994{2016 T. V. Raman. All Rights Reserved. Permission is granted to make and distribute verbatim copies of this manual without charge provided the copyright notice and this permission notice are preserved on all copies. Short Contents Emacspeak :::::::::::::::::::::::::::::::::::::::::::::: 1 1 Copyright ::::::::::::::::::::::::::::::::::::::::::: 2 2 Announcing Emacspeak Manual 2nd Edition As An Open Source Project ::::::::::::::::::::::::::::::::::::::::::::: 3 3 Background :::::::::::::::::::::::::::::::::::::::::: 4 4 Introduction ::::::::::::::::::::::::::::::::::::::::: 6 5 Installation Instructions :::::::::::::::::::::::::::::::: 7 6 Basic Usage. ::::::::::::::::::::::::::::::::::::::::: 9 7 The Emacspeak Audio Desktop. :::::::::::::::::::::::: 19 8 Voice Lock :::::::::::::::::::::::::::::::::::::::::: 22 9 Using Online Help With Emacspeak. :::::::::::::::::::: 24 10 Emacs Packages. ::::::::::::::::::::::::::::::::::::: 26 11 Running Terminal Based Applications. ::::::::::::::::::: 45 12 Emacspeak Commands And Options::::::::::::::::::::: 49 13 Emacspeak Keyboard Commands. :::::::::::::::::::::: 361 14 TTS Servers ::::::::::::::::::::::::::::::::::::::: 362 15 Acknowledgments.::::::::::::::::::::::::::::::::::: 366 16 Concept Index :::::::::::::::::::::::::::::::::::::: 367 17 Key Index ::::::::::::::::::::::::::::::::::::::::: 368 Table of Contents Emacspeak :::::::::::::::::::::::::::::::::::::::::: 1 1 Copyright :::::::::::::::::::::::::::::::::::::::
    [Show full text]
  • Useful Applications – Last Updated 8 Th March 2014
    A List of Useful Applications – Last updated 8 th March 2014 In the descriptions of the software the text in black is my comments. Text in dark blue preceded by 'What they say :-' is a quote from the website providing the software. Rating :- This is my own biased and arbitrary opinion of the quality and usefulness of the software. The rating is out of 5. Unrated = - Poor = Average = Good = Very Good = Essential = Open Office http://www.openoffice.org/ Very Good = Word processor, Spreadsheet, Drawing Package, Presentation Package etc, etc. Free and open source complete office suite, equivalent to Microsoft Office. Since the takeover of this project by Oracle development seems to have ground to a halt with the departure of many of the developers. Libre Office http://www.libreoffice.org/ Essential = Word processor, Spreadsheet, Drawing Package, Presentation Package etc, etc. Free and open source complete office suite, equivalent to Microsoft Office. This package is essentially the same as Open Office however it satisfies the open source purists because it is under the control of an open source group rather than the Oracle Corporation. Since the takeover of the Open Office project by Oracle many of the developers left and a lot of them ended up on the Libre Office project. Development on the Libre Office project is now ahead of Open Office and so Libre Office would be my preferred office suite. AbiWord http://www.abisource.com/ Good = If you don't really need a full office suite but just want a simple word processor then AbiWord might be just what you are looking for.
    [Show full text]
  • Alinex Data Store
    Alinex Data Store Read, work and write data structures to differents stores Alexander Schilling Copyright © 2019 - 2021 <a href="https://alinex.de">Alexander Schilling</a> Table of contents Table of contents 1. Home 6 1.1 Alinex Data Store 6 1.1.1 Usage 6 1.1.2 Debugging 6 1.1.3 Module Usage 7 1.1.4 Chapters 7 1.1.5 Support 7 1.2 Command Line Usage 8 1.2.1 Input 8 1.2.2 Output 8 1.2.3 Transform Files 9 1.2.4 Using Definition 9 1.2.5 Examples 9 1.3 Last Changes 10 1.3.1 Version 1.16.0 - (12.05.2021) 10 1.3.2 Version 1.15.0 - (02.01.2021) 10 1.3.3 Version 1.13.0 - (16.06.2020) 10 1.3.4 Version 1.12.0 - (27.01.2020) 10 1.3.5 Version 1.11.0 - (13.01.2020) 11 1.3.6 Version 1.10.0 - (22.11.2019) 11 1.3.7 Version 1.9.1 - (13.11.2019) 11 1.3.8 Version 1.8.0 - (31.10.2019) 11 1.3.9 Version 1.7.0 - (13.10.2019) 11 1.3.10 Version 1.6.0 - (01.10.2019) 11 1.3.11 Version 1.5.0 - (28.08.2019) 12 1.3.12 Version 1.4.0 - (15.08.2019) 12 1.3.13 Version 1.3.0 - (6.08.2019) 12 1.3.14 Version 1.2.0 - (22.06.2019) 13 1.3.15 Version 1.1.0 - (17.05.2019) 13 1.3.16 Version 1.0.0 - (12.05.2019) 13 1.3.17 Version 0.7.0 (29.04.2019) 13 1.3.18 Version 0.6.0 (26.04.2019) 14 1.3.19 Version 0.5.0 (19.04.2019) 14 1.3.20 Version 0.4.0 (17.04.2019) 14 1.3.21 Version 0.3.0 (15.04.2019) 14 - 2/80 - Copyright © 2019 - 2021 <a href="https://alinex.de">Alexander Schilling</a> Table of contents 1.3.22 Version 0.2.0 (12.04.2019) 14 1.3.23 Version 0.1.0 (0t.04.019) 14 1.4 Roadmap 16 1.4.1 Add Protocols 16 1.4.2 Multiple sources 16 1.5 Privacy statement 17 2.
    [Show full text]
  • D4.1 Source Code and Documentation Repository
    D4.1 Source code and documentation repository Co-funded by the Horizon 2020 Framework Programme of the European Union GRANT AGREEMENT NUMBER: 842009 - NIVA DELIVERABLE NUMBER D4.1 DELIVERABLE TITLE Source code and documentation repository RESPONSIBLE AUTHOR Konstantinos Kountouris – Nikolaos Galanis, OPEKEPE Greece 1 GRANT AGREEMENT N. 842009 PROJECT ACRONYM NIVA PROJECT FULL NAME A New IACS Vision in Action STARTING DATE (DUR.) 1/06/2019 ENDING DATE 30/05/2022 PROJECT WEBSITE COORDINATOR Sander Janssen ADDRESS Droevendaalsesteeg 1, Wageningen REPLY TO [email protected] PHONE +31 317 481908 EU PROJECT OFFICER Mrs. Francisca Cuesta Sanchez WORKPACKAGE N. | TITLE WP4 | Knowledge Information System WORKPACKAGE LEADER 8 - AGEA DELIVERABLE N. | TITLE D4.1 | Source code and documentation repository RESPONSIBLE AUTHOR Konstantinos Kountouris – Nikolaos Galanis, OPEKEPE Greece REPLY TO [email protected], [email protected] DOCUMENT URL DATE OF DELIVERY (CONTRACTUAL) 31 August 2019 (M3) DATE OF DELIVERY (SUBMITTED) 30 September 2019 (M4) VERSION | STATUS V1.0| Final NATURE Report DISSEMINATION LEVEL PUBLIC Konstantinos Kountouris – Nikolaos Galanis - Ioannis Andreou, OPEKEPE AUTHORS (PARTNER) Greece 2 VERSION MODIFICATION(S) DATE AUTHOR(S) Konstantinos Kountouris – Nikolaos Galanis - Ioannis 1.0 Final version 24 August 2019 Andreou, OPEKEPE Greece 3 Table of Contents Choosing the proper tool ........................................................................................ 5 Requirements and Assumptions ...........................................................................
    [Show full text]
  • Login: Logout Issue, March 2014
    EXCLUSIVE ELECTRONIC EDITION MARCH 2014 EXCLUSIVE ELECTRONIC EDITION MARCH 2014 2 To Wash It All Away James Mickens EDITOR Rik Farrow 9 Fold Time to Navigate Faster [email protected] COPY EDITOR Emma Jane Westby Steve Gilmartin [email protected] PRODUCTION MANAGER 11 Using the R Software for Log File Analysis Michele Nelson Mihalis Tsoukalos PRODUCTION Arnold Gatilao Casey Henderson USENIX AssOCIATION 2560 Ninth Street, Suite 215, Berkeley, California 94710 Phone: (510) 528-8649 FAX: (510) 548-5738 www.usenix.org ©2014 USENIX Association USENIX is a registered trademark of the USENIX Association. Many of the designations used by manu- facturers and sellers to distinguish their products are claimed as trademarks. USENIX acknowledges all trade- marks herein. Where those designations appear in this publication and USENIX is aware of a trademark claim, the designations have been printed in caps or initial caps. To Wash It All Away JAMES MICKENS This is my last column! Thanks hen I was in graduate school in Ann Arbor, I had a friend who for reading, and thanks for all was deeply involved with the environmentalist movement. He of the support :-). Never forget purchased his food from local farmers’ markets, and he com- that when you are alone, I W am with you, and when you muted by bike instead of by car to reduce his carbon footprint, and he main- are with someone else, I am also with you, tained a horrid compost bin that will probably be the origin of the next flu because I think that I am better than that other pandemic.
    [Show full text]
  • Hy Documentation Release 0.12.1+64.G5eb9283
    hy Documentation Release 0.12.1+64.g5eb9283 Paul Tagliamonte Apr 14, 2017 Contents 1 Documentation Index 3 1.1 Quickstart................................................4 1.2 Tutorial..................................................5 1.2.1 Basic intro to Lisp for Pythonistas...............................5 1.2.2 Hy is a Lisp-flavored Python..................................7 1.2.3 Macros............................................. 12 1.2.4 Hy <-> Python interop..................................... 13 1.2.5 Protips!............................................. 14 1.3 Hy Style Guide.............................................. 14 1.3.1 Prelude............................................. 15 1.3.2 Layout & Indentation...................................... 15 1.3.3 Coding Style.......................................... 16 1.3.4 Conclusion........................................... 17 1.3.5 Thanks............................................. 17 1.4 Documentation Index.......................................... 18 1.4.1 Command Line Interface.................................... 18 1.4.2 Hy <-> Python interop..................................... 19 1.4.3 Hy (the language)........................................ 21 1.4.4 Hy Core............................................. 47 1.4.5 Reader Macros......................................... 65 1.4.6 Internal Hy Documentation................................... 66 1.5 Extra Modules Index........................................... 72 1.5.1 Anaphoric Macros....................................... 72 1.5.2
    [Show full text]
  • Emacs + Magit = Git Magic
    Emacs + Magit = Git Magic Shakthi Kannan Version 1.0 GNU FDL Shakthi Kannan Emacs + Magit = Git Magic Initialization M-x magit-status Open magit buffer Shakthi Kannan Emacs + Magit = Git Magic Buffers $ Actual git command executed g Update magit status Shakthi Kannan Emacs + Magit = Git Magic Section Visibility TAB Toggle current section S-TAB Toggle visibility of current children 1-4 Shows four levels of a section M-f1-4g Shows four levels af ALL sections Shakthi Kannan Emacs + Magit = Git Magic Untracked files s Add untracked file to staging area C-u S Stage all untracked and tracked files i Add filename to .gitignore k Delete untracked file, forever Shakthi Kannan Emacs + Magit = Git Magic Staging and Committing u Unstage C-u s Prompt file for staging S Move all hunks to stage U Unstage everything that has been staged c Pop buffer for commit message C-c C-c Amend commit message C-c C-k Erase magit-log-edit buffer and bury it Shakthi Kannan Emacs + Magit = Git Magic History l l History of current head in terse form l L History in verbose form RET More info on commit in new buffer v Revert the current commit C-w Copy sha1 to kill ring . Mark commit = Difference between current commit and marked Shakthi Kannan Emacs + Magit = Git Magic Reflog l h Browse reflog Shakthi Kannan Emacs + Magit = Git Magic Diffing d Difference between working tree and another revision D Difference between any two arbitrary revisions Shakthi Kannan Emacs + Magit = Git Magic Tagging t t Create lightweight tag t a Create annotated tag Shakthi Kannan Emacs + Magit = Git Magic Resetting
    [Show full text]
  • An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
    An Industrial Strength Theorem Prover for a Logic Based on Common Lisp y z Matt Kaufmannand J Strother Moore Personal use of this material is permitted. particular style of formal veri®cation that has shown consid- However, permission to reprint/republish this erable promise in recent years is the use of general-purpose material for advertising or promotional pur- automated reasoning systems to model systems and prove poses or for creating new collective works for properties of them. Every such reasoning system requires resale or redistribution to servers or lists, or considerable assistance from the user, which makes it im- to reuse any copyrighted component of this portant that the system provide convenient ways for the user work in other works must be obtained from the to interact with it. IEEE.1 One state-of-the-art general-purpose automated reason- ing system is ACL2: ªA Computational Logic for Applica- AbstractÐACL2 is a re-implemented extended version tive Common Lisp.º A number of automated reasoning of Boyer and Moore's Nqthm and Kaufmann's Pc-Nqthm, systems now exist, as we discuss below (Subsection 1.1). In intended for large scale veri®cation projects. This paper this paper we describe ACL2's offerings to the user for con- deals primarily with how we scaled up Nqthm's logic to an venientªindustrial-strengthºuse. WebegininSection2with ªindustrial strengthº programming language Ð namely, a a history of theACL2 project. Next, Section 3 describes the large applicative subset of Common Lisp Ð while preserv- logic supportedby ACL2, which has been designed for con- ing the use of total functions within the logic.
    [Show full text]
  • Mindmapping for Beg and Strug Learners.Pdf
    MindMapping Frank Sapp Technology and Training Specialist [email protected] MindMapping MindMapping • Introduction • Defined • Brief History • Subtopic 3 • Types Defined • A mind map is a diagram used to visually organise information. A mind map is often created around a single concept, drawn as an image in the center of a blank landscape page, to which associated representations of ideas such as images, words and parts of words are added. Major ideas are connected directly to the central concept, and other ideas branch out from those. Brief History • Early • Tony Buzan • Data Visualization • Research Early • Radial Maps • Spider Diagrams Radial Maps • Spider Diagrams • Tony Buzan • Video Data Visualization • Edward Tufte • Napoleon Russian Invasion • PowerPoint Edward Tufte • Napoleon Russian Invasion • Napoleon Russian Invasion • The graph displays several variables in a single two-dimensional image: • the size of the army - providing a strong visual representation of human suffering, e.g. the sudden decrease of the army's size at the battle crossing the Berezina river on the retreat; • the geographical co-ordinates, latitude and longitude, of the army as it moved; • the direction that the army was traveling, both in advance and in retreat, showing where units split off and rejoined; • the location of the army with respect to certain dates; and • the weather temperature along the path of the retreat, in another strong visualisation of events (during the retreat "one of the worst winters in recent memory set in"[1]). • Étienne-Jules Marey first called notice to this dramatic depiction of the fate of Napoleon's army in the Russian campaign, saying it "defies the pen of the historian in its brutal eloquence"[citation needed].
    [Show full text]
  • Emacs – Beating the Learning Curve from Zero to Lightspeed
    Emacs – Beating the Learning Curve From Zero to Lightspeed. Timo Bingmann August 18, 2015 Contents 1 Overview 2 2 Most Important Key Chords 2 2.1 When Things Go Wrong . 2 2.2 Meta-X . 3 2.3 Move Around in Text . 3 2.4 Mark, Copy, and Paste Text . 3 2.5 Open File into Buffers . 3 2.6 Switching Buffers (Open Files) . 4 2.7 Organizing Buffers into Frames and Windows . 4 2.8 Search and Replace . 4 2.9 Change Font Size . 4 3 Advanced Text Editing 4 3.1 Rectangle Copy/Paste . 5 3.2 Keyboard Macros . 5 3.3 Run Shell Commands . 5 3.4 Multiple Cursors . 5 4 Directory Listings (dired) 5 4.1 Give Me a Terminal, NOW! . 6 4.2 Tramp Mode . 6 5 Customization 6 6 Source code editing 7 7 C/C++ Projects 7 7.1 Identifier Expansion . 7 7.2 Snippets . 7 7.3 Semantics Jumps . 8 7.4 Ede (Cedet) Projects . 8 7.5 Grep and Ag . 8 7.6 Bookmarks . 8 7.7 ecb - Emacs Code Browser . 8 7.8 TODO Tag Browsing . 9 1 7.9 gdb inside emacs. 9 8 Magit - Git Magic! 9 9 Editing LATEX 10 10 org-mode 10 11 evil-mode 11 1 Overview This is a quick and dirty emacs tutorial. It does not feature the most flashy features or goodies. Instead, it focuses on solid day-to-day efficiency features. It is probably best to print out this tutorial, grab a version of emacs, and start reading and trying out each command in this manual from top to bottom.
    [Show full text]