You should have, in addition to this file:

*.c		source files
xpnet.h		include file with useful #defines
makefile	how to create a runnable version
xpnet.1		man page
*.net		files with proof structures
pax_file	file containing pax formulae for pax.net
aux.ps		file with routines needed for PostScript output

There may be problems with include files. See the makefile as to how
to deal with them. Also, there may be a message something like:
  ld: Undefined symbol
     _sin
     _cos
     _XShapeQueryExtension
     _XShapeCombineMask
     _pow
     _floor
     _get_wmShellWidgetClass
     _get_applicationShellWidgetClass
  *** Error code 2
  make: Fatal error: Command failed for target `xpnet'
We get this message here, but the resulting program works fine anyway.
I'm not exactly sure what causes this.

The man page pretty much explains what to do with the rest. Enjoy!

Keywords -- proof net, linear logic, user interface, X Window System

Contacts:

Myra VanInwegen
myra@saul.cis.upenn.edu

Carl Gunter
gunter@saul.cis.upenn.edu

mail:
<person>
University of Pennsylvania
Computer and Info Science Dept
200 S. 33rd St.
Philadephia PA 19104
