The Cedar Manual: Contents
Introduction to Cedar
The Cedar World
Programming in Cedar
References
The Tioga Editor
Introduction
Menus
Selections
Editing
Looks
Formats
The Edit Tool
The Edit History Tool
Printing and the TypeSetter Tool
TIP Tables for Tioga
Tioga User Exec Commands
Tioga User Profile Entries
Command Summary* (imbedded in the document)
How To Use Walnut
Introduction
Database Structure
User Interface
Becoming a User
Coping with Releases and Crashes
Shortfalls and Wishes
Cedar Language Overview
Review of the Pascal-like features
From Pascal to Mesa
From Mesa to Cedar
Converting Mesa Programs to Cedar
For More Information . . .
Safe Cedar Language Reference Grammar* (CLRMSafeGrammar.press)
Cedar Language Reference Grammar
Annotated Cedar Examples
A simple, but complete program
A general sort package for lists
A sample tool using Viewers
An evaluator for a functional programming language
Stylizing Cedar Programs
Names, Types, Exceptions, In-module documentation, Program Layout
The Fuglemen
Cedar Program Style Sheet* (StyleSheet.press)
Cedar Language Reference Manual
The Kernel Language
Syntax and Semantics
Primitive Types and Type Constructors
Cedar Language Summary Reference Sheets* (CLRMSumm.press)
Lupine User's Guide
Introduction
Translator Operation
Conversations, Encryptiuon, and Secure Communication
Binding and Configuration
Crash Detection and Recovery
Parameter Passing
Interface and Parameter Restrictions
References
Appendix A: Public RPC Interfaces
Appendix B: Example Remote Interfaces and Stubs
Cedar Catalog
Cedar Abstract Machine
Control Facilities
Data
IO
Communication
Miscellaneous
Wizards' Appendix
Alphabetical Summary
Documented Interfaces
Spell.mesa
IO.mesa