1. 2001-09-27 Re: [ jEdit-devel ] Logic programming/theorem proving jedit-dev Slava Pestov 2. 2001-09-27 [ jEdit-devel ] Logic programming/theorem proving mod jedit-dev chimera