LTL parser for ProB Build parser: ant generate Show parse tree: ant showtree Compile: ant compile Build jar: ant jar