I think I have gone blind / TPTP tutorial missing [message #35408] |
Fri, 14 October 2005 17:59 |
Eclipse User |
|
|
|
Originally posted by: lars.XohlenX.se
Hi,
Last week I found a good video TPTP tutorial on eclipse.org
The tutorial explained the TPTP Junit integration. When I wanted to show
this to a collegue the tutorial is not there anymore.
I have encountered some local blindness or has the presentation been
removed?
BR
Lars
|
|
|
|
Re: I think I have gone blind / TPTP tutorial missing [message #38315 is a reply to message #38154] |
Mon, 31 October 2005 17:05 |
Randy D. Smith Messages: 394 Registered: July 2009 |
Senior Member |
|
|
Paul,
Did you check while there was a problem with access to www/tptp? Or did
you not consider looking there?
The reason I ask is that when we had access to www/tptp restored last
week, I updated a workspace I keep for offline peruals of all that
stuff, and in restoring the www/tptp stuff, I happened to notice the
system take some time in the download of some video file that was rather
lengthy... so I know there is a video in *some* format in that
repository. Perhaps that is the one he was looking for.
A quick look doesn't show me what I think he was looking for where I
think it would be, but I have to admit I don't know all the possible
video formats it might be stored under.
Just a suggestion as to another place it might be found...
--
RDS
Paul Slauenwhite wrote:
> Hi Lars,
> After searching the entire contents of the TPTP web site, there do not
> seem to be any video files. However, there are several TPTP test resources
> in the http://www.eclipse.org/tptp/ >> Documentation web site.
>
> Paul
>
> "Lars" <lars@XohlenX.se> wrote in message
> news:diorm4$uah$1@news.eclipse.org...
>
>>Hi,
>>Last week I found a good video TPTP tutorial on eclipse.org
>>The tutorial explained the TPTP Junit integration. When I wanted to show
>>this to a collegue the tutorial is not there anymore.
>>
>>I have encountered some local blindness or has the presentation been
>>removed?
>>
>>BR
>>
>>Lars
>>
>>
>
>
>
|
|
|
Re: I think I have gone blind / TPTP tutorial missing [message #38612 is a reply to message #38315] |
Wed, 02 November 2005 14:00 |
Paul Slauenwhite Messages: 975 Registered: July 2009 |
Senior Member |
|
|
Thanks Randy for the information. After clearing my workspace and
re-extracting the complete TPTP web site, I was able to locate several dated
Flash tutorials on the Generic Log Adapter (GLA) and Java profiling.
However, I cannot seem to find any movies on TPTP JUnit integration.
Paul
"Randy D. Smith" <randy.d.smith@intel.com> wrote in message
news:dk5isc$s3u$1@news.eclipse.org...
> Paul,
>
> Did you check while there was a problem with access to www/tptp? Or did
> you not consider looking there?
>
> The reason I ask is that when we had access to www/tptp restored last
> week, I updated a workspace I keep for offline peruals of all that
> stuff, and in restoring the www/tptp stuff, I happened to notice the
> system take some time in the download of some video file that was rather
> lengthy... so I know there is a video in *some* format in that
> repository. Perhaps that is the one he was looking for.
>
> A quick look doesn't show me what I think he was looking for where I
> think it would be, but I have to admit I don't know all the possible
> video formats it might be stored under.
>
> Just a suggestion as to another place it might be found...
> --
> RDS
>
> Paul Slauenwhite wrote:
> > Hi Lars,
> > After searching the entire contents of the TPTP web site, there do
not
> > seem to be any video files. However, there are several TPTP test
resources
> > in the http://www.eclipse.org/tptp/ >> Documentation web site.
> >
> > Paul
> >
> > "Lars" <lars@XohlenX.se> wrote in message
> > news:diorm4$uah$1@news.eclipse.org...
> >
> >>Hi,
> >>Last week I found a good video TPTP tutorial on eclipse.org
> >>The tutorial explained the TPTP Junit integration. When I wanted to show
> >>this to a collegue the tutorial is not there anymore.
> >>
> >>I have encountered some local blindness or has the presentation been
> >>removed?
> >>
> >>BR
> >>
> >>Lars
> >>
> >>
> >
> >
> >
|
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.03881 seconds