This Directory contains the solutions to the ISPW-7 Example Problem.
Most of the files contain solutions.  The table below
lists the solutions provided and the file(s) containing them.

The other files are as follows:
+ README.txt
  -- this file

+ ispw7ex.tex, extensions.tex, ispw6ex.tex
  -- the description of the ispw6 and ispw7 problems.

+ ispw7ex.pdf
  -- the description of the ispw6 and ispw7 problems in pdf
     (ispw7ex.tex run thru pdflatex)
  
+ panel.tex
  -- blurb about the workshop panel on the solutions.

+ ex7-slides.ps
  -- Slides I presented at the workshop characterizing
     and discussing the solutions.
+ ISPW7-Solutions.tar
  -- This directory as a tar file

= Dennis Heimbigner
  Computer Science Dept
  University of Colorado, Boulder
  (dennis@cs.colorado.edu)

==================================================

The following table shows the state of the ISPW7 solutions
that I have received to date (Oct. 9, 1991, 9:00 A.M.).
At this point, everyone should have been sent copies
of the solutions electronically except for the Kellner soln
(which is in paper form) and the revised Inoue first postscript file.
I will send out the revised Inoue file to anyone who has not
successfully printed out the older one.
The Estublier soln was lost here, and he has sent copies to everyone,
so I will not re-send that solution unless requested.

-Dennis Heimbigner.

=====================================================================
                        Process
Presenter     Sender    Formalism       Files
=======================================================================
Conradi       Jaccheri  EPOS            letizia.ps
_______________________________________________________________________
Culver-Lozo   Brown     Views           lozo.ps
_______________________________________________________________________
Estublier     Melo      Adele           estublier.ps
                                        estublier.tex (same content)
_______________________________________________________________________
Ghezzi        Fuggetta  SLANG           fuggetta.ps
_______________________________________________________________________
Huff          Huff      GRAPPLE         huff.txt
_______________________________________________________________________
Inoue         Inoue     PDL             inoue.1r.ps (reversed)
                                        inoue.2.ps (figures)
_______________________________________________________________________
Kellner       Kellner   StateMate       paper copy
_______________________________________________________________________
Perry         Perry     Interact        perry.txt
_______________________________________________________________________
Scacchi       Mi        Articulator     mi.ps
_______________________________________________________________________
Schaefer      Peuschel  MERLIN          peuschel.ps
_______________________________________________________________________
Simmonds      Simmonds  ReadyToUse      simmonds.ps
                                        simmonds.txt (same content)
_______________________________________________________________________
Sutton        Sutton    APPL/A          sutton.0.ps
                                        sutton.1.ps
                                        sutton.2.ps
_______________________________________________________________________
Swamy         Swamy     AP5             swamy.ps
_______________________________________________________________________