Re: Is TPTP stuff working?

From: Denis Frolov (de..emax.ru)
Date: Wed Nov 28 2007 - 12:31:24 EST

Next message: Clark Mueller: "Refactoring and WOD files"

Previous message: Miguel Arroz: "Is TPTP stuff working?"
In reply to: Miguel Arroz: "Is TPTP stuff working?"
Next in thread: Q: "Re: Is TPTP stuff working?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

If you are on a Mac, you should check this bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=68111

Denis

On Nov 28, 2007, at 7:52 PM, Miguel Arroz wrote:

> Hi!
>
> I installed TPTP and I'm trying to profile a WO app. I created a
> run configuration for a Profiled WO App, but the Profile button is
> disabled. I have no errors on the top of the window, so I have no
> clue at all why is the profile button disabled. What did I do wrong?
>
> Yours
>
> Miguel Arroz
>
> Miguel Arroz
> http://www.terminalapp.net
> http://www.ipragma.com
>
>
>

Next message: Clark Mueller: "Refactoring and WOD files"
Previous message: Miguel Arroz: "Is TPTP stuff working?"
In reply to: Miguel Arroz: "Is TPTP stuff working?"
Next in thread: Q: "Re: Is TPTP stuff working?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2.0.0 : Wed Nov 28 2007 - 12:32:50 EST