Cau,nevim jak jsem tak zkoumal ty co vypadaly dobre tak uz nepodporujou javu 5 nebo eclipse 3.2, tak jsem skoncil s TPTP.
Provoz trosku krkolomny, ale vesmes funkcni. Kdyby jste mel nekdo neco lepsiho, rad se o tom dozvim. Karel
Cau,nevim jak jsem tak zkoumal ty co vypadaly dobre tak uz nepodporujou javu 5 nebo eclipse 3.2, tak jsem skoncil s TPTP.
Provoz trosku krkolomny, ale vesmes funkcni. Kdyby jste mel nekdo neco lepsiho, rad se o tom dozvim. Karel