[news.eclipse.tptp] Re: Are there any additional AGR documents

[Jimmy Jin <jimmyjin.jxm@xxxxxxxxx>]

As I know, there is no (at least formal documents).

Do you have any specific questions? Or what do you think will be helpful 
to put into the introduction document?

Jimmy Jin

Sarah Korthaus wrote:
> Hi there,
>
> are there any additional AGR documents except for "An Introduction to 
> Using TPTP's Automated GUI Recorder"?
>
> Thanks,
> Sarah