DOCSLIB.ORG

Aprendiendo a Aprender Linux

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Aprendiendo a Aprender Linux Aprendiendo a Aprender Linux Guías para colegios con plataforma de referencia S-Helio 1.1 Vladimir Támara Jaime Irving Dávila Pablo Chamorro Igor Támara Aprendiendo a Aprender Linux: Guías para colegios con plataforma de referencia S-Helio 1.1 por Vladimir Támara por Jaime Irving Dávila por Pablo Chamorro por Igor Támara TRABAJO CEDIDO AL DOMINIO PÚBLICO Nosotros Vladimir Támara, Jaime Irving Dávila, Pablo Chamorro e Igor Támara hemos escrito "Aprendiendo a aprender Linux: Guías para colegios con plataforma de referencia S-Helio 1.1", que asisten el uso, la instalación y la administración de redes Linux en colegios. Por este medio cedemos esta obra al dominio público, renunciando a todos los derechos patrimoniales con lo que esperamos facilitar su adaptación y uso en colegios. En particular quedan permitidos para siempre: el uso, la copia, la redistribución y la modificación de este escrito y sus fuentes. Confirmamos que el trabajo es nuestro y no copia del trabajo de alguien más. Apreciamos que al usarlo cite la fuente http://structio.sourceforge.net/guias/AA_Linux_colegio/, y nos alegraría que nos informara (<[email protected]>). Dado que este trabajo ha sido desarrollado por voluntarios y que no hemos cobrado a quienes lo han obtenido, no ofrecemos garantía ni reembolso de tipo alguno. Este trabajo se ha mejorado con correcciones hechas por voluntarios, si desea obtener las fuentes puede visitar en Internet: http://structio.sourceforge.net/guias/AA_Linux_colegio/. Para mantenerse informado de otros desarrollos de Structio puede suscribirse a la lista de anuncios (bajo tráfico): http://lists.sourceforge.net/lists/listinfo/structio-anuncio. Puede reportar fallas en estas guías usando la categoria S-Helio en: https://sourceforge.net/tracker/?group_id=4503&atid=104503 Si desea comunicarse con los desarrolladores de Structio, puede escribir por correo electrónico a <[email protected]> Tabla de contenidos Agradecimientos .........................................................................................................................................i Introducción .............................................................................................................................................. ii 1. Primera exploración de Linux desde la perspectiva de un usuario ..................................................1 1.1. Software de libre redistribución ..................................................................................................1 1.1.1. Lectura: Software de libre redistribución .......................................................................1 1.1.2. Lecturas recomendadas: Software de libre redistribución..............................................2 1.1.3. Ejercicios: Software de libre redistribución ...................................................................2 1.2. Linux ...........................................................................................................................................3 1.2.1. Lectura: Linux ................................................................................................................3 1.2.2. Lecturas recomendadas: Linux.......................................................................................4 1.2.3. Ejercicios: Linux ............................................................................................................5 1.3. Sistema de usuarios y manejo de clave .......................................................................................5 1.3.1. Lectura: Sistema de usuarios y manejo de clave ............................................................5 1.3.2. Lecturas recomendadas: Sistema de usuarios y manejo de clave...................................7 1.3.3. Ejercicios: Sistema de usuarios y manejo de clave ........................................................7 1.4. Escritorio y herramientas Gnome ...............................................................................................8 1.4.1. Lectura: Escritorio y herramientas Gnome.....................................................................8 1.4.2. Lecturas recomendadas: Escritorio y herramientas Gnome ...........................................9 1.4.3. Ejercicios: Escritorio y herramientas Gnome...............................................................10 1.5. Directorios y archivos ...............................................................................................................10 1.5.1. Lectura: Directorios y archivos ....................................................................................10 1.5.2. Lecturas recomendadas: Directorios y archivos...........................................................13 1.5.3. Ejercicios: Directorios y archivos.................................................................................13 1.6. Disquetes y CDROM ................................................................................................................13 1.6.1. Lectura: Disquetes y CDROM .....................................................................................13 1.6.2. Lecturas recomendadas: Disquetes y CDROM ............................................................14 1.6.3. Ejercicios: Disquetes y CDROM..................................................................................14 1.7. Búsqueda y consulta de documentación ...................................................................................15 1.7.1. Lectura: Búsqueda y consulta de documentación ........................................................15 1.7.2. Lecturas recomendadas: Búsqueda y consulta de documentación ...............................17 1.7.3. Ejercicios: Búsqueda y consulta de documentación.....................................................18 2. Linux desde la perspectiva de un usuario con experiencia ..............................................................19 2.1. Archivos y permisos..................................................................................................................19 2.1.1. Lectura: Archivos y permisos.......................................................................................19 2.1.1.1. Administración de archivos, directorios y enlaces...........................................19 2.1.1.2. Permisos...........................................................................................................21 2.1.2. Lecturas recomendadas: Archivos y permisos .............................................................23 2.1.3. Ejercicios: Archivos y permisos ...................................................................................23 2.2. Información personal y comunicación con otros usuarios........................................................23 2.2.1. Lectura: Información personal y comunicación con otros usuarios.............................24 2.2.1.1. Información pública y usuarios........................................................................24 2.2.1.2. Comunicación con usuarios que están conectados simultáneamente. .............24 2.2.1.3. Correo electrónico............................................................................................25 2.2.1.4. mutt y procmail............................................................................................25 2.2.2. Lecturas recomendadas: Información personal y comunicación con otros usuarios ...27 iii 2.2.3. Ejercicios Información personal y comunicación con otros usuarios ..........................27 2.3. Servicios de la Intranet..............................................................................................................28 2.3.1. Lectura: Servicios de la Intranet...................................................................................28 2.3.1.1. telnet y ssh.......................................................................................................28 2.3.1.2. Ftp ....................................................................................................................30 2.3.1.3. Web ..................................................................................................................32 2.3.2. Lecturas recomendadas: Servicios de la Intranet .........................................................33 2.3.3. Ejercicios: Servicios de la Intranet...............................................................................33 2.4. Edición de texto.........................................................................................................................33 2.4.1. Lecturas: Editores de texto ...........................................................................................34 2.4.1.1. Vi......................................................................................................................34 2.4.1.2. Emacs...............................................................................................................36 2.4.1.3. Corrección ortográfica .....................................................................................37 2.4.1.4. Diccionarios .....................................................................................................38 2.4.2. Lecturas recomendadas: Editores de texto ...................................................................38 2.4.3. Ejercicios: Editores de texto.........................................................................................39 3. Linux desde la perspectiva de un usuario con más experiencia ......................................................40
Load more

Recommended publications
  • Application-Level Virtual Memory for Object-Oriented Systems Mariano Martinez Peck
    Application-Level Virtual Memory for Object-Oriented Systems Mariano Martinez Peck To cite this version: Mariano Martinez Peck. Application-Level Virtual Memory for Object-Oriented Systems. Program- ming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2012. English. tel-00764991 HAL Id: tel-00764991 https://tel.archives-ouvertes.fr/tel-00764991 Submitted on 26 Dec 2012 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. N° d’ordre : 40886 THESE présentée en vue d’obtenir le grade de DOCTEUR en Spécialité : informatique par Mariano MARTINEZ PECK DOCTORAT DELIVRE CONJOINTEMENT PAR MINES DOUAI ET L’UNIVERSITE DE LILLE 1 Titre de la thèse : Application-Level Virtual Memory for Object-Oriented Systems Soutenue le 29/10/2012 à 10h devant le jury d’examen : Président Jean-Bernard STEFANI (Directeur de recherche – INRIA Grenoble- Rhône-Alpes) Directeur de thèse Stéphane DUCASSE (Directeur de recherche – INRIA Lille) Rapporteur Robert HIRSCHFELD (Professeur – Hasso-Plattner-Institut, Universität Potsdam, Allemagne) Rapporteur Christophe DONY (Professeur – Université Montpellier 2) Examinateur Roel WUYTS (Professeur – IMEC & Katholieke Universiteit Leuven, Belgique) co-Encadrant Noury BOURAQADI (Maître-Assistant – Mines de Douai) co-Encadrant Marcus DENKER (Chargé de recherche – INRIA Lille) co-Encadrant Luc FABRESSE (Maître-Assistant – Mines de Douai) Laboratoire(s) d’accueil : Dépt.
    [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]
  • Emacspeak User's Guide
    Emacspeak User's Guide Jennifer Jobst Revision History Revision 1.3 July 24,2002 Revised by: SDS Updated the maintainer of this document to Sharon Snider, corrected links, and converted to HTML Revision 1.2 December 3, 2001 Revised by: JEJ Changed license to GFDL Revision 1.1 November 12, 2001 Revised by: JEJ Revision 1.0 DRAFT October 19, 2001 Revised by: JEJ This document helps Emacspeak users become familiar with Emacs as an audio desktop and provides tutorials on many common tasks and the Emacs applications available to perform those tasks. Emacspeak User's Guide Table of Contents 1. Legal Notice.....................................................................................................................................................1 2. Introduction.....................................................................................................................................................2 2.1. What is Emacspeak?.........................................................................................................................2 2.2. About this tutorial.............................................................................................................................2 3. Before you begin..............................................................................................................................................3 3.1. Getting started with Emacs and Emacspeak.....................................................................................3 3.2. Emacs Command Conventions.........................................................................................................3
    [Show full text]
  • Texing in Emacs Them
    30 TUGboat, Volume 39 (2018), No. 1 TEXing in Emacs them. I used a simple criterion: Emacs had a nice tutorial, and Vim apparently did not (at that time). Marcin Borkowski I wince at the very thought I might have chosen Abstract wrong! And so it went. I started with reading the In this paper I describe how I use GNU Emacs to manual [8]. As a student, I had a lot of free time work with LAT X. It is not a comprehensive survey E on my hands, so I basically read most of it. (I still of what can be done, but rather a subjective story recommend that to people who want to use Emacs about my personal usage. seriously.) I noticed that Emacs had a nice TEX In 2017, I gave a presentation [1] during the joint mode built-in, but also remembered from one of GUST/TUG conference at Bachotek. I talked about the BachoTEXs that other people had put together my experiences typesetting a journal (Wiadomo´sci something called AUCTEX, which was a TEX-mode Matematyczne, a journal of the Polish Mathematical on steroids. Society), and how I utilized LAT X and GNU Emacs E In the previous paragraph, I mentioned modes. in my workflow. After submitting my paper to the In order to understand what an Emacs mode is, let proceedings issue of TUGboat, Karl Berry asked me me explain what this whole Emacs thing is about. whether I'd like to prepare a paper about using Emacs with LATEX. 1 Basics of Emacs Well, I jumped at the proposal.
    [Show full text]
  • Debian Edu / Skolelinux Wheezy 7.1+Edu0 Manual
    Debian Edu / Skolelinux Wheezy 7.1+edu0 Manual May 28, 2016 i CONTENTS CONTENTS Contents 1 Manual for Debian Edu 7.1+edu0 Codename Wheezy1 2 About Debian Edu and Skolelinux1 2.1 Some history and why two names . .1 3 Architecture 2 3.1 Network . .2 3.1.1 The default network setup . .3 3.1.2 Main server (tjener) . .3 3.1.3 Services running on the main server . .3 3.1.4 LTSP server(s) (Thin client server(s)) . .5 3.1.5 Thin clients . .5 3.1.6 Diskless workstations . .5 3.1.7 Networked clients . .5 3.2 Administration . .5 3.2.1 Installation . .5 3.2.2 File system access configuration . .6 4 Requirements 6 4.1 Hardware requirements . .6 4.2 Hardware known to work . .7 5 Requirements for network setup7 5.1 Default Setup . .7 5.2 Internet router . .7 6 Installation and download options8 6.1 Where to find additional information . .8 6.2 Download the installation media for Debian Edu 7.1+edu0 Codename "Wheezy" . .8 6.2.1 netinstall CD image for i386, amd64 . .8 6.2.2 USB flash drive / Blue-ray disc ISO image for i386 and amd64 . .8 6.2.3 Source image . .8 6.3 Request a CD / DVD by mail . .8 6.4 Installing Debian Edu . .9 6.4.1 Select type of installation . .9 6.4.1.1 Additional boot parameters for installations . 12 6.4.2 The installation process . 12 6.4.3 Notes on some characteristics . 14 6.4.3.1 A note on notebooks .
    [Show full text]
  • O Software Livre Como Alternativa Para a Inclusão Digital Do Deficiente Visual
    Universidade Estadual de Campinas Faculdade de Engenharia Elétrica e de Computação O Software Livre como Alternativa para a Inclusão Digital do Deficiente Visual Autor: Samer Eberlin Orientador: Prof. Dr. Luiz César Martini Dissertação de Mestrado apresentada à Facul- dade de Engenharia Elétrica e de Computação da Universidade Estadual de Campinas como parte dos requisitos para obtenção do título de Mestre em Engenharia Elétrica. Banca Examinadora José Raimundo de Oliveira, Dr. DCA/FEEC/Unicamp Luiz César Martini, Dr. DECOM/FEEC/Unicamp Rita de Cassia Ietto Montilha, Dra. CEPRE/FCM/Unicamp Yuzo Iano, Dr. DECOM/FEEC/Unicamp Campinas, SP – Brasil Abril/2006 FICHA CATALOGRÁFICA ELABORADA PELA BIBLIOTECA DA ÁREA DE ENGENHARIA E ARQUITETURA - BAE - UNICAMP Eberlin, Samer Eb37s O software livre como alternativa para a inclusão digital do deficiente visual / Samer Eberlin. −−Campinas, SP: [s.n.], 2006. Orientador: Luiz César Martini. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação. 1. Acessibilidade. 2. Tecnologia educacional. 3. Inclusão digital. 4. Software livre. 5. Software de comunicação. 6. Síntese da voz. I. Martini, Luiz César. II. Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação. III. Título. Titulo em Inglês: The free software as an alternative for digital cohesion of visually impaired people Palavras-chave em Inglês: Accessibility, Assistive technology, Digital cohesion, Free software, Screen reader, Voice synthesizer Área de concentração: Telecomunicações e Telemática Titulação: Mestre em Engenharia Elétrica Banca examinadora: José Raimundo de Oliveira, Rita de Cássia Ietto Montilha e Yuzo Iano Data da defesa: 19/04/2006 ii Resumo A acelerada difusão do software “livre”, tanto no Brasil como no exterior, vem se mos- trando cada vez mais evidente nos mais diversos âmbitos (governo, empresas, escolas, etc.).
    [Show full text]
  • Installing Emacspeak HOWTO
    Installing Emacspeak HOWTO Jennifer Jobst James Van Zandt <[email protected]> Revision History Revision 1.1 July 23, 2002 SDS Updated the maintainer of this document to Sharon Snider, corrected links, and converted to XML. Revision 1.0 December 4, 2001 JEJ First release Revision 1.0 DRAFT November 9, 2001 JEJ DRAFT Revision Emacspeak HOWTO 1996-2001 JVZ Previously, this document was known as the Emacspeak HOW- TO, and was written and maintained by Mr. James Van Zandt. Abstract This document contains the installation instructions for the Emacspeak audio desktop application for Linux. Please send any comments, or contributions via e-mail to Sharon Snider [mailto:[email protected]]. This docu- ment will be updated regularly with new contributions and suggestions. Table of Contents Legal Notice ...................................................................................................................... 2 Introduction ........................................................................................................................ 2 Documentation Conventions .................................................................................................. 2 Requirements ...................................................................................................................... 2 Linux Distributions ...................................................................................................... 2 Emacs ......................................................................................................................
    [Show full text]
  • Indicators for Missing Maintainership in Collaborative Open Source Projects
    TECHNISCHE UNIVERSITÄT CAROLO-WILHELMINA ZU BRAUNSCHWEIG Studienarbeit Indicators for Missing Maintainership in Collaborative Open Source Projects Andre Klapper February 04, 2013 Institute of Software Engineering and Automotive Informatics Prof. Dr.-Ing. Ina Schaefer Supervisor: Michael Dukaczewski Affidavit Hereby I, Andre Klapper, declare that I wrote the present thesis without any assis- tance from third parties and without any sources than those indicated in the thesis itself. Braunschweig / Prague, February 04, 2013 Abstract The thesis provides an attempt to use freely accessible metadata in order to identify missing maintainership in free and open source software projects by querying various data sources and rating the gathered information. GNOME and Apache are used as case studies. License This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license. Keywords Maintenance, Activity, Open Source, Free Software, Metrics, Metadata, DOAP Contents List of Tablesx 1 Introduction1 1.1 Problem and Motivation.........................1 1.2 Objective.................................2 1.3 Outline...................................3 2 Theoretical Background4 2.1 Reasons for Inactivity..........................4 2.2 Problems Caused by Inactivity......................4 2.3 Ways to Pass Maintainership.......................5 3 Data Sources in Projects7 3.1 Identification and Accessibility......................7 3.2 Potential Sources and their Exploitability................7 3.2.1 Code Repositories.........................8 3.2.2 Mailing Lists...........................9 3.2.3 IRC Chat.............................9 3.2.4 Wikis............................... 10 3.2.5 Issue Tracking Systems...................... 11 3.2.6 Forums............................... 12 3.2.7 Releases.............................. 12 3.2.8 Patch Review........................... 13 3.2.9 Social Media............................ 13 3.2.10 Other Sources..........................
    [Show full text]
  • Evaluating Elisp Code
    Contents Contents Introduction Thank You .................... Intended Audience ................ What You’ll Learn . The Way of Emacs Guiding Philosophy . LISP? ..................... Extensibility . Important Conventions . The Buffer . The Window and the Frame . The Point and Mark . Killing, Yanking and CUA . .emacs.d, init.el, and .emacs . Major Modes and Minor Modes . First Steps Installing and Starting Emacs . Starting Emacs . The Emacs Interface . Keys ........................ Caps Lock as Control . M-x: Execute Extended Command . Universal Arguments . Discovering and Remembering Keys . Configuring Emacs . The Customize Interface . Evaluating Elisp Code . The Package Manager . Color Themes . Getting Help ................... The Info Manual . Apropos ................... The Describe System . The Theory of Movement The Basics ..................... C-x C-f: Find file . C-x C-s: Save Buffer . C-x C-c: Exits Emacs . C-x b: Switch Buffer . C-x k: Kill Buffer . ESC ESC ESC: Keyboard Escape . C-/: Undo . Window Management . Working with Other Windows . Frame Management . Elemental Movement . Navigation Keys . Moving by Character . Moving by Line . Moving by Word . Moving by S-Expressions . Other Movement Commands . Scrolling . Bookmarks and Registers . Selections and Regions . Selection Compatibility Modes . Setting the Mark . Searching and Indexing . Isearch: Incremental Search . Occur: Print lines matching an expression . Imenu: Jump to definitions . Helm: Incremental Completion and Selection IDO: Interactively DO Things . Grep: Searching the file system . Other Movement Commands . Conclusion . The Theory of Editing Killing and Yanking Text . Killing versus Deleting . Yanking Text . Transposing Text . C-t: Transpose Characters . M-t: Transpose Words . C-M-t: Transpose S-expressions . Other Transpose Commands . Filling and Commenting . Filling . Commenting . Search and Replace . Case Folding . Regular Expressions . Changing Case . Counting Things .
    [Show full text]
  • Pipenightdreams Osgcal-Doc Mumudvb Mpg123-Alsa Tbb
    pipenightdreams osgcal-doc mumudvb mpg123-alsa tbb-examples libgammu4-dbg gcc-4.1-doc snort-rules-default davical cutmp3 libevolution5.0-cil aspell-am python-gobject-doc openoffice.org-l10n-mn libc6-xen xserver-xorg trophy-data t38modem pioneers-console libnb-platform10-java libgtkglext1-ruby libboost-wave1.39-dev drgenius bfbtester libchromexvmcpro1 isdnutils-xtools ubuntuone-client openoffice.org2-math openoffice.org-l10n-lt lsb-cxx-ia32 kdeartwork-emoticons-kde4 wmpuzzle trafshow python-plplot lx-gdb link-monitor-applet libscm-dev liblog-agent-logger-perl libccrtp-doc libclass-throwable-perl kde-i18n-csb jack-jconv hamradio-menus coinor-libvol-doc msx-emulator bitbake nabi language-pack-gnome-zh libpaperg popularity-contest xracer-tools xfont-nexus opendrim-lmp-baseserver libvorbisfile-ruby liblinebreak-doc libgfcui-2.0-0c2a-dbg libblacs-mpi-dev dict-freedict-spa-eng blender-ogrexml aspell-da x11-apps openoffice.org-l10n-lv openoffice.org-l10n-nl pnmtopng libodbcinstq1 libhsqldb-java-doc libmono-addins-gui0.2-cil sg3-utils linux-backports-modules-alsa-2.6.31-19-generic yorick-yeti-gsl python-pymssql plasma-widget-cpuload mcpp gpsim-lcd cl-csv libhtml-clean-perl asterisk-dbg apt-dater-dbg libgnome-mag1-dev language-pack-gnome-yo python-crypto svn-autoreleasedeb sugar-terminal-activity mii-diag maria-doc libplexus-component-api-java-doc libhugs-hgl-bundled libchipcard-libgwenhywfar47-plugins libghc6-random-dev freefem3d ezmlm cakephp-scripts aspell-ar ara-byte not+sparc openoffice.org-l10n-nn linux-backports-modules-karmic-generic-pae
    [Show full text]
  • Learning GNU Emacs Other Resources from O’Reilly
    Learning GNU Emacs Other Resources from O’Reilly Related titles Unix in a Nutshell sed and awk Learning the vi Editor Essential CVS GNU Emacs Pocket Reference Version Control with Subversion oreilly.com oreilly.com is more than a complete catalog of O’Reilly books. You’ll also find links to news, events, articles, weblogs, sample chapters, and code examples. oreillynet.com is the essential portal for developers interested in open and emerging technologies, including new platforms, pro- gramming languages, and operating systems. Conferences O’Reilly brings diverse innovators together to nurture the ideas that spark revolutionary industries. We specialize in document- ing the latest tools and systems, translating the innovator’s knowledge into useful skills for those in the trenches. Visit con- ferences.oreilly.com for our upcoming events. Safari Bookshelf (safari.oreilly.com) is the premier online refer- ence library for programmers and IT professionals. Conduct searches across more than 1,000 books. Subscribers can zero in on answers to time-critical questions in a matter of seconds. Read the books on your Bookshelf from cover to cover or sim- ply flip to the page you need. Try it today with a free trial. THIRD EDITION Learning GNU Emacs Debra Cameron, James Elliott, Marc Loy, Eric Raymond, and Bill Rosenblatt Beijing • Cambridge • Farnham • Köln • Paris • Sebastopol • Taipei • Tokyo Learning GNU Emacs, Third Edition by Debra Cameron, James Elliott, Marc Loy, Eric Raymond, and Bill Rosenblatt Copyright © 2005 O’Reilly Media, Inc. All rights reserved. Printed in the United States of America. Published by O’Reilly Media, Inc., 1005 Gravenstein Highway North, Sebastopol, CA 95472.
    [Show full text]
  • Geometry Tools Gclc and Wingclc
    Geometry Tools gclc and Wingclc Predrag Janiˇci´c [email protected] Faculty of Mathematics, University of Belgrade Studentski trg 16, 11 000 Belgrade, Serbia Abstract. We present geometry tools gclc and Wingclc. They are based on a custom-built language for declarative representation of ge- ometry figures. There are automated geometry theorem provers built in gclc that directly link visual and semantical geometrical information with deductive properties and machine–generated proofs. So, gclc/Win- gclc can serve as a powerful mechanized geometric assistant. The main areas of applications of gclc/Wingclc are in mathematical education, in publishing, in storing mathematical knowledge, and in studies of au- tomated reasoning. 1 Introduction Euclidean geometry and geometric constructions have important role in math- ematics and in mathematical education for thousands of years. In twentieth century, there was a shift from classical, synthetic geometry in favor of algebraic geometry in university education. However, synthetic geometry still holds a very important position in lower levels of mathematical education and also, in recent years, it has been making a comeback to university education, thanks to impor- tant applications in computer-aided design, computer graphics, computer vision, robotics, etc. There is a range of geometry software tools, covering different geometries and geometrical problems. Many of them focus on Euclidean geometry and on con- struction problems. These problems are very suitable for interactive work and animations, typical for dynamic geometry software (e.g., Geometer’s Sketchpad, Cabri, Cinderella). In dynamic geometry software, the user can create and ma- nipulate geometric constructions. Typically, the user starts a construction with several points, construct new objects depending on the existing ones, and then move the starting points to explore how the whole construction changes.
    [Show full text]