bortzmeyer at nic.fr
Wed Nov 9 04:21:00 EST 2005
On Tue, Nov 08, 2005 at 08:32:19PM +1100, Graham Dumpleton <grahamd at dscpl.com.au> wrote a message of 114 lines which said: > Apply the following patch to Vampire and reinstall. IWBNI this code were permanently in Vampire and could be activated on demand (an environment variable?). We really need more debugging tools.