All releases of DELORES
Release Notes: The print() directive now prints out theory conclusions (this important feature was inadvertently omitted from the 0.90 release). The man page now contains info on theory conclusions. The documentation has been placed under a less restrictive licence. An erroneous version number in the NEWS file was fixed.
Release Notes: This is the first public release of DELORES. It is now packaged in a manner similar to most GNU programs, including a "configure" configuration/installation script suitable for Unix-like systems. The programmer's manual is now available as DVI, PDF, and LaTeX. A Unix man page is now available.
