| Custom rules in TPTP 4.6.1 [message #514296] |
Sat, 13 February 2010 14:49  |
Eclipse User |
|
|
|
Hello everyone:
I'm trying to make some custom rules in TPTP 4.6.1, I don't really know whether this is still possible or not (I know it's possible in previous releases),
Does anyone know How I can accomplish this?
Is it possible? if not, What could I do?
I hope I posted this in the right section, if not feel free to move it.
Any help would be welcome
Thanks in advance.
|
|
|
| Re: Custom rules in TPTP 4.6.1 [message #514839 is a reply to message #514296] |
Tue, 16 February 2010 10:06  |
| Eclipse User |
|
|
|
Hi,
Code Review component is no longer supported since TPTP 4.5.0. However, you
can try deploy the latest code review release into a TPTP 4.6.1 GA driver.
All features shipped in code review should still work within the TPTP 4.6.1
environment.
Eugene
"Axl" <heredia85@gmail.com> wrote in message
news:hl6vnc$d77$1@build.eclipse.org...
> Hello everyone:
>
> I'm trying to make some custom rules in TPTP 4.6.1, I don't really know
> whether this is still possible or not (I know it's possible in previous
> releases), Does anyone know How I can accomplish this?
> Is it possible? if not, What could I do?
>
> I hope I posted this in the right section, if not feel free to move it.
> Any help would be welcome
>
> Thanks in advance.
|
|
|
Powered by
FUDForum. Page generated in 0.03949 seconds
Home