Merge

.gitignore

general/docs/microsoft-release.txt

org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF

org.lamport.tla.toolbox.doc/html/prover/prover.html

org.lamport.tla.toolbox.doc/html/prover/runningTlaps.html

org.lamport.tla.toolbox.doc/pom.xml

...t.product/org.lamport.tla.toolbox.product.product.product

org.lamport.tla.toolbox.product.product/pom.xml

org.lamport.tla.toolbox.product.standalone/plugin.xml

org.lamport.tla.toolbox.uitest/pom.xml

...c/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java

tlatools/.classpath

tlatools/build.ajproperties

tlatools/customBuild.xml

tlatools/lib/aspectjrt-1.8.5.jar

tlatools/lib/aspectjtools-1.8.5.jar

tlatools/lib/aspectjweaver-1.8.5.jar

tlatools/lib/jpf-classes.jar

tlatools/lib/jpf.jar

tlatools/src-aj/META-INF/aop-ajc.xml