The new RuleEditor is not ready for prime time n/t
From: Ulrich Köster (ulric..bjectstyle.org)
Date: Sun Nov 13 2005 - 03:22:00 EST
Next message: Ulrich Köster: "Re: Building eclipse requires tptp"
This archive was generated by hypermail 2.0.0
: Sun Nov 13 2005 - 03:22:12 EST