This directory contains a number of documentation files including:

1) An informal introduction to the language PROGRES with name
   "ProgresForBeginners.ps".

2) A guided tour through the PROGRES environment with name
   "GUIDED_TOUR.tex" (written in latex).

3) A language manual which defines the concrete syntax of PROGRES
   version 9.x. It is availabe as 
   * the postscript file ProgresSyntax.ps
   * the WWW document (html-format) Progres.html
   * the ASCII document Progres.txt
   * and the Framemaker hypertext document Progres.fm

4) A number of man-like pages which document the most important
   scripts and programs in "../bin" named "*.man".

5) A a postscript file with name "PROGRES_Nachtrag.ps" which 
   documents all PROGRES language modifications since the publication 
   of the below mentioned Ph.D. thesis (in German).

6) Another guided tour which explains how to generate stand-alone
   prototypes in "GUIDED_PROTOTYPING.tex"

7) A file "FAQ" with some answers for frequently asked questions.

For further information about both the language and the system PROGRES
and its underlying database system GRAS please have a look into the
list of references in file README of the PROGRES root directory and

 Sch"urr A.: Operational Specifications with Programmed
 Graph Rewriting Systems (in German), Dissertation, RWTH
 Aachen, Deutscher Universit"atsverlag (1991)
