Contents

• Contents
• Introduction
  • Language specifications
  • Language environment
• The Centaur environment
  • Documentation
  • The Vtp and paths
    • The language tables
  • The Centaur variable
  • Resources
  • Graphical interface
    • The main menu
    • The ctview and ctedit
    • Select
    • Mouse and keyboard behavior
  • Editing
    • Reading a file
    • Structured editing
    • Text editing
    • Editing tips
  • Error handling
  • Parsers
• Preparation
  • The language hierarchy
    • Mouse event list
  • Calling Centaur
    • The edit-compile-reload cycle
• The Metal definition
  • Introduction
    • Abstract syntax
    • Concrete syntax
  • The Metal environment
    • Metal tools
  • The abstract syntax of Exp
    • Alternate abstract syntaxes
  • The concrete syntax of Exp
    • Production rules
    • Tree construction
    • Trivial rules and priority
    • Metal and yacc
    • The complete Exp specification
  • An Exp parser
    • The Buildfile
    • The lexical description
    • Comments
    • Parser creation and startup
    • Reading an Exp program
• The Ppml definition
  • Pretty printers
    • Modular pretty printers
    • Conventions
  • The formatting machine
  • Patterns
    • Print depth
  • Formatting
  • The std pretty printer
  • The basic pretty printer
    • Constants
    • Default parameters
  • Compilation
    • The Ppml program
    • The pretty printer module
  • External formatting
  • More Ppml tools: Restoring parentheses
    • Integer functions
    • The if statement
    • Contexts: Improving selection behavior
    • Comments : Pretty printing annotations
  • Color and font specifications
    • The resource manager
    • Ppml resource classes
    • Color and font resources
• The Typol specification
  • Typol and Prolog
  • Typol and natural semantics
    • Sequents
    • Judgements
    • Rules
    • The Typol motor
  • A simple interpreter
  • Communication between Typol and LeLisp
    • Typol side
  • Importing prolog predicates
  • The Typol programming environment
    • Automatic loading
    • Debugging a Typol program
    • Batch compilation
  • A better interpreter for Exp
    • The environment
    • Pretty printing the environment tree
    • Evaluating in an environment
    • Exporting premises for the environment
  • Sending error and warning messages from Typol
    • The message predicate
    • Messages in Exp
  • The full Exp interpreter
    • Running the Exp interpreter
• Environment
  • Sophtalk
    • The variable network
    • The standard tool network
    • Participating in a network
  • The environment module
  • Environment setup and cleanup
  • The interpreter tool network
    • The standard Typol tool
    • The interpreter tool
    • The tool network
    • Displaying results simply
  • A complete Exp environment
  • Views
    • Manual initial view creation
    • Automatic result view creation
  • Highlighting data
    • View communication
    • Adding a selection
    • The selection algorithm
    • Triggering an action with the mouse
    • Select resources
  • If that weren't enough...
    • Debugging the interpreter
    • In-line edition
    • Program transformation
    • Resources for Exp