Moin,
I would like to remove the .WOLips file stuff first. At the end of
january is a realistic timeframe.
Prequisites: Eclipse 3.2M4, WTP 1.0.0 with patch and TPTP 4.2(for the
tptp feature only)
Uli
Am 09.01.2006 um 15:53 schrieb mar..iffy-berlin.in-berlin.de:
> Hi,
>
> On 9. Jan. 2006, at 15:38 Uhr, Mike Schrag wrote:
>> OK, 86 is at http://www.mdimension.com/~wolips/2.0.0.86 ...
>
> I think the only problem with that is that it requires the patched
> wtp? Otherwise I'm using that for months now and it works fine for me.
>
> Marc
>
This archive was generated by hypermail 2.0.0 : Thu Jan 12 2006 - 06:02:50 EST