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.
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.