4.0.0 parent tlatoolbox 0.0.1-SNAPSHOT ../pom.xml tlatoolbox org.lamport.tla.toolbox.doc 1.5.4-SNAPSHOT eclipse-plugin true