[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Newsgroup Home]
[news.eclipse.tptp] Re: TPTP ran fine for first time but getting a time-out

I am not sure how to add attachements...i browsed  to the file and then I clicked on Upload File button...nothing seems to happen