Martin Bednář wrote:
Kamosovi ano. Tak sa to da. Treba zistit pricinyu a pozret aj do bug listu TPTP, keby nahodou.Karel Tejnora napsal(a):Cau,nevim jak jsem tak zkoumal ty co vypadaly dobre tak uz nepodporujou javu 5 nebo eclipse 3.2, tak jsem skoncil s TPTP.No mne se TPTP na 64bit linuxu nejak nepovedlo rozbehat :(