-
- Downloads
Move toolbox related plug-ins into toolbox/ and tlatools ones into tlatools/.
Amends jenkins build file accordingly. [Refactor][Build]
Showing
- .gitignore 11 additions, 10 deletions.gitignore
- .jenkins.groovy 33 additions, 32 deletions.jenkins.groovy
- .travis.yml 1 addition, 1 deletion.travis.yml
- examples/README 0 additions, 2 deletionsexamples/README
- pom.xml 37 additions, 37 deletionspom.xml
- tlatools/org.lamport.tlatools.api/.classpath 0 additions, 0 deletionstlatools/org.lamport.tlatools.api/.classpath
- tlatools/org.lamport.tlatools.api/.project 0 additions, 0 deletionstlatools/org.lamport.tlatools.api/.project
- tlatools/org.lamport.tlatools.api/.settings/org.eclipse.jdt.core.prefs 0 additions, 0 deletions...lamport.tlatools.api/.settings/org.eclipse.jdt.core.prefs
- tlatools/org.lamport.tlatools.api/.settings/org.eclipse.pde.core.prefs 0 additions, 0 deletions...lamport.tlatools.api/.settings/org.eclipse.pde.core.prefs
- tlatools/org.lamport.tlatools.api/META-INF/MANIFEST.MF 0 additions, 0 deletionstlatools/org.lamport.tlatools.api/META-INF/MANIFEST.MF
- tlatools/org.lamport.tlatools.api/build.properties 0 additions, 0 deletionstlatools/org.lamport.tlatools.api/build.properties
- tlatools/org.lamport.tlatools.api/pom.xml 1 addition, 1 deletiontlatools/org.lamport.tlatools.api/pom.xml
- tlatools/org.lamport.tlatools.api/src/tlc2/IDistributedFPSet.java 0 additions, 0 deletions.../org.lamport.tlatools.api/src/tlc2/IDistributedFPSet.java
- tlatools/org.lamport.tlatools.api/src/tlc2/ITLCWorker.java 0 additions, 0 deletionstlatools/org.lamport.tlatools.api/src/tlc2/ITLCWorker.java
- tlatools/org.lamport.tlatools.consumer.distributed/.classpath 0 additions, 0 deletions...ools/org.lamport.tlatools.consumer.distributed/.classpath
- tlatools/org.lamport.tlatools.consumer.distributed/.project 0 additions, 0 deletionstlatools/org.lamport.tlatools.consumer.distributed/.project
- tlatools/org.lamport.tlatools.consumer.distributed/.settings/org.eclipse.jdt.core.prefs 0 additions, 0 deletions...consumer.distributed/.settings/org.eclipse.jdt.core.prefs
- tlatools/org.lamport.tlatools.consumer.distributed/META-INF/MANIFEST.MF 0 additions, 0 deletions...amport.tlatools.consumer.distributed/META-INF/MANIFEST.MF
- tlatools/org.lamport.tlatools.consumer.distributed/OSGi-INF/fpsetConsumer.xml 0 additions, 0 deletions....tlatools.consumer.distributed/OSGi-INF/fpsetConsumer.xml
- tlatools/org.lamport.tlatools.consumer.distributed/OSGi-INF/workerConsumer.xml 0 additions, 0 deletions...tlatools.consumer.distributed/OSGi-INF/workerConsumer.xml
Loading