[metis-users] Bugfix: Include paths

[Joe Hurd]

Geoff Sutcliffe recently reported a bug in Metis include paths:

> Seems that Metis does not handle includes with absolute path names
> correctly ... it adds the value of $TPTP on the front. If an include
> is for an absolute file names (starting with /) then it should look
> directly for that file, and nothing else.

This is now fixed in the latest version: Metis 2.3 (release 20101019),
available from

http://www.gilith.com/software/metis/

Bug reports are always welcome: thanks to Geoff for helping to improve Metis.

Cheers,

Joe