Hi Navid,

I'm usuing TPTP 4.2.0-v200606131519, and the case of probekit,
org.eclipse.tptp.platform.probekit_4.1.100.v200606131519 and
org.eclipse.tptp.platform.probekit.launch_4.2.0.v200606131519

Im using Callisto so i think that is the last version.

About RAServer the 4.2.0 is used.

Thank you very much for your attention, i just don't know if a have
found a bug or i m making a mistake.

Navid Mehregani wrote:
>
> Hi Alex,
>
> This was an old Linux defect that was resolved.  Here's the defect:
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=133145  Try using a more
> recent driver.  Instead of this screencast, you might want to read the
> recent web document that I created for Probekit:
> http://www.eclipse.org/tptp/platform/documents/probekit/probekit.html
>
> Navid Mehregani

La información contenida en el presente e-mail es confidencial y está reservada para el uso exclusivo de su destinatario. Se prohíbe estrictamente la distribución, copia o utilización de esta información sin el previo permiso de su destinatario. Si usted no fuera el destinatario, por favor notifíquelo inmediatamente al remitente y elimine el presente mensaje de su sistema informático.

Information contained in this e-mail is confidential and is intended for the use of the addressee only. Any dissemination, distribution, copying or use of this communication without prior permission of the addressee is strictly prohibited. If you are not the intended addressee, please notify the sender immediately by reply and then delete this message from your computer system.

_______________________________________________
tptp-tracing-profiling-tools-dev mailing list
tptp-tracing-profiling-tools-dev@eclipse.org
https://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev

Reply via email to