Shift release notes and user manuals

I. Release notes

``SHIFT Release Notes '' : this document explains how to start running and debugging Shift programs.

II. HTML Documentation

TkShift User's Manual. Using the graphical debugger to view and/or debug a Shift program.: Daniel Weismann
Matrix to Scalar Processor . Translating matrix equations to their scalar format.: Daniel Wiesmann, Luigi Semenzato, Akash Deshpande
Shift API: Daniel Wiesmann
Shiftdoc: enforcing public interfaces in Shift types.: Marco Zandonadi
Command line options for Shift: Daniel Wiesmann
Shifttree : extracting the inheritance hierarchy from a set of SHIFT source files: Tolga Goktekin
The command-line debugger '' . Documentation of the features of the tty Shift debugger.
DB-oriented Tracing Commands in the SHIFT Command Line Debugger .

SHIFT Programming Language and Run-Time System for Dynamic Networks of Hybrid Automata: A. Deshpande, A. Göllü, L. Semenzato. PATH Report
SHIFT: Reference Manual: A. Deshpande, A. Göllü, L. Semenzato. PATH Report
AHS Components in SHIFT: A. Deshpande. PATH Report
Concepts in SHIFT: A. Göllü.
Object-Oriented features in SHIFT: A. Göllü, M. Kourjanski;.
A SHIFT Tutorial: A. Göllü. This is a draft document. Also consult the SHIFT Examples to see the use of SHIFT.
SHIFT Tutorial: A first course for SHIFT programmers: T. Simsek. University of California, Berkeley