Linux RPM installation files
Author: Roberto Virga
Modified: Frank Pfenning

Contents:

  INSTALL		- installation instructions
  README		- this file
  logo.gif		- Twelf logo
  twelf-1.3.spec	- RPM spec file
  twelf-files		- script to automatically generate the %files subsection of the
			  spec file
  twelf-install		- script to install Twelf (requires root privileges).
  twelf-uninstall	- script to uninstall Twelf (requires root privileges)

Modifications for Twelf 1.4

  moved to MLton (with stand-alone executables)
  moved documentation from /usr/doc/twelf to /usr/share/twelf/doc/