[Jdrew-all] OO jDREW 0.95 Released

[Craig, Benjamin Larry]

Hi all, 

A new version of OO jDREW (v. 0.95) has been released, with the following changes: 

An improvement to the Top-Down engine has been implemented that allows the use of
unlimited KB sizes. The recursive hasNext() method in the BackwardReasoner class has
been changed to an iterative method to permit unlimited KB sizes.

A bug has been fixed that prevented the unification of certain typed variables when the
unification should have succeeded.

A Findall extension to the Top-Down engine has been implemented. This extension for
finding all solutions to a query can be found in the default package of the downloaded
version of OO jDREW. For more information about the Findall extension please go to this
link: http://www.jdrew.org/oojdrew/docs/TDFindallSolutions.html

An OO jDREW template file, which allows you to easily integrate OO jDREW into a Java
application, has been implemented. It can be found in the default package of the
downloaded version of OO jDREW. Fore more information about the template file please go
to this page: http://www.jdrew.org/oojdrew/docs/Template.html

For the full details of this release, see the OO jDREW source download page:
http://www.jdrew.org/oojdrew/download.html

You can use the Java Web Start version at: 
http://www.jdrew.org/oojdrew/demo.html

Regards, 

Ben