From 3c7caa56d1186bfa8e1640b42000894d93e26c52 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Wed, 2 Feb 2022 11:10:02 -0800
Subject: [PATCH] Bump version numbers.
[Build]
---
.github/workflows/main.yml | 170 +-----------------
general/docs/changelogs/ch1_7_2.md | 13 ++
general/docs/changelogs/gh-1_7_2.jq | 7 +
tlatools/org.lamport.tlatools/github.xml | 2 +-
.../src/tlc2/TLCGlobals.java | 2 +-
...amport.tla.toolbox.product.product.product | 10 +-
.../plugin.xml | 2 +-
.../toolbox/ui/intro/ToolboxIntroPart.java | 2 +-
8 files changed, 38 insertions(+), 170 deletions(-)
create mode 100644 general/docs/changelogs/ch1_7_2.md
create mode 100644 general/docs/changelogs/gh-1_7_2.jq
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 9c4a8c839..96ff23d0a 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -4,7 +4,7 @@ on:
push:
# Sequence of patterns matched against refs/heads
branches:
- - v1.7.1 # Push events on master branch
+ - v1.7.2 # Push events on master branch
jobs:
@@ -12,18 +12,12 @@ jobs:
runs-on: ${{ matrix.operating-system }}
strategy:
matrix:
- operating-system: [ubuntu-latest, macos-latest]
+ operating-system: [ubuntu-latest]
include:
- - operating-system: macos-latest
- MVN_COMMAND: mvn -Dmaven.test.skip=true
- GITHUB_RELEASE_NAME: The Brontinus release
- TOOLBOX_PRODUCT_ZIP: TLAToolbox-1.7.1-macosx.cocoa.x86_64.zip
-
- operating-system: ubuntu-latest
MVN_COMMAND: xvfb-run mvn -Dtest.skip=true -Dmaven.test.failure.ignore=true
- GITHUB_RELEASE_NAME: The Brontinus release
- TOOLBOX_PRODUCT_ZIP: TLAToolbox-1.7.1-linux.gtk.x86_64.zip
- TOOLBOX_PRODUCT_ZIP_WIN: TLAToolbox-1.7.1-win32.win32.x86_64.zip
+ GITHUB_RELEASE_NAME: The Theano release
+ TOOLBOX_PRODUCT_ZIP: TLAToolbox-1.7.2-linux.gtk.x86_64.zip
steps:
@@ -58,64 +52,11 @@ jobs:
env:
GPG_PRIVATE_KEY: ${{ secrets.GPG_PRIVATE_KEY }}
- ##
- ## Configure SSH privkey (INRIA upload below)
- ##
- - name: Set up SSH private key
- run: 'mkdir -p ~/.ssh && echo "$INRIA_SSH_PRIVKEY" > ~/.ssh/id_rsa && chmod 600 ~/.ssh/id_rsa'
- shell: bash
- env:
- INRIA_SSH_PRIVKEY: ${{ secrets.INRIA_SSH_PRIVKEY }}
-
- ##
- ## Set up Comodo code signing cert/key and configure maven (settings.xml) to
- ## have CODESIGN_KEYSTOREPASS_KEY, path to ComodoCertificate.p12, and the alias
- ## of the cert/key in ComodoCertificate.p12.
- ##
- - name: Set up maven credentials
- run: 'echo "$MVN_SETTINGS_XML" > ~/.m2/settings.xml'
- shell: bash
- env:
- MVN_SETTINGS_XML: ${{ secrets.MVN_SETTINGS_XML }}
- - name: Set up Comodo Codesign keystore part I
- run: 'echo "$COMODO_CODESIGN_COMBINED_PEM" > ComodoCertificate.pem'
- shell: bash
- env:
- COMODO_CODESIGN_COMBINED_PEM: ${{ secrets.COMODO_CODESIGN_COMBINED_PEM }}
- - name: Set up Comodo Codesign keystore part II
- run: |
- openssl pkcs12 -export -name ComodoCertificate -out ComodoCertificate.p12 -passout pass:${{ secrets.CODESIGN_KEYSTOREPASS_KEY }} -in ComodoCertificate.pem
- rm ComodoCertificate.pem
- keytool -importkeystore -srckeystore ComodoCertificate.p12 -srcstoretype pkcs12 -srcstorepass ${{ secrets.CODESIGN_KEYSTOREPASS_KEY }} -deststoretype pkcs12 -destkeystore ~/.m2/ComodoCertificate.jks -destkeypass ${{ secrets.CODESIGN_KEYSTOREPASS_KEY }} -deststorepass ${{ secrets.CODESIGN_KEYSTOREPASS_KEY }}
- rm ComodoCertificate.p12
-
##
## Build TLC and Toolbox (logger reduces verbosity).
##
- - name: Build with Maven (Linux)
- run: ${{ matrix.MVN_COMMAND }} -Pcodesigning -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn -fae -B verify --file pom.xml
-
- ##
- ## Create signed apt repository out of Linux Toolbox zip.
- ##
- - name: Create apt repository
- if: matrix.operating-system == 'ubuntu-latest'
- run: |
- chmod -x toolbox/org.lamport.tla.toolbox.product.product/createAptRepo.sh
- cp toolbox/org.lamport.tla.toolbox.product.product/target/*.deb toolbox/org.lamport.tla.toolbox.product.product/target/repository/
- cd toolbox/org.lamport.tla.toolbox.product.product/target/repository/
- bash -x ../../createAptRepo.sh .
-
- ##
- ## Create RPM out of Linux Toolbox zip.
- ##
-# - name: Create RPM (RedHat/CentOS package)
-# if: matrix.operating-system == 'ubuntu-latest'
-# run: |
-# sudo apt-get install alien --no-install-recommends -y
-# cd toolbox/org.lamport.tla.toolbox.product.product/target/
-# fakeroot alien --to-rpm --scripts TLAToolbox-?.?.?-linux.gtk.amd64.deb
-# cp TLA*.rpm products/
+ - name: Build with Ant (Linux)
+ run: ant -f tlatools/org.lamport.tlatools/customBuild.xml
##
## Upload Linux and Windows Toolbox zip and tla2tools.jar to Github release.
@@ -131,45 +72,15 @@ jobs:
curl -sS -X DELETE -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/assets/$ID
curl -s -X POST -H "Content-Type: application/zip" -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://uploads.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets?name=tla2tools.jar --upload-file tlatools/org.lamport.tlatools/dist/tla2tools.jar
- ID=$(curl -sS -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets --header "Content-Type: application/json" | jq '.[]| select(.name == "${{matrix.TOOLBOX_PRODUCT_ZIP_WIN}}") | .id')
- curl -sS -X DELETE -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/assets/$ID
- curl -s -X POST -H "Content-Type: application/zip" -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://uploads.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets?name=${{matrix.TOOLBOX_PRODUCT_ZIP_WIN}} --upload-file toolbox/org.lamport.tla.toolbox.product.product/target/products/${{matrix.TOOLBOX_PRODUCT_ZIP_WIN}}
-
- ID=$(curl -sS -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets --header "Content-Type: application/json" | jq '.[]| select(.name == "${{matrix.TOOLBOX_PRODUCT_ZIP}}") | .id')
- curl -sS -X DELETE -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/assets/$ID
- curl -s -X POST -H "Content-Type: application/zip" -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://uploads.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets?name=${{matrix.TOOLBOX_PRODUCT_ZIP}} --upload-file toolbox/org.lamport.tla.toolbox.product.product/target/products/${{matrix.TOOLBOX_PRODUCT_ZIP}}
-
- ID=$(curl -sS -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets --header "Content-Type: application/json" | jq '.[]| select(.name == "TLAToolbox-1.7.1.deb") | .id')
- curl -sS -X DELETE -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/assets/$ID
- curl -s -X POST -H "Content-Type: application/zip" -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://uploads.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets?name=TLAToolbox-1.7.1.deb --upload-file toolbox/org.lamport.tla.toolbox.product.product/target/TLAToolbox-1.7.1-linux.gtk.amd64.deb
-
- ID=$(curl -sS -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets --header "Content-Type: application/json" | jq '.[]| select(.name == "p2repository.zip") | .id')
- curl -sS -X DELETE -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/assets/$ID
- curl -s -X POST -H "Content-Type: application/zip" -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://uploads.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets?name=p2repository.zip --upload-file toolbox/org.lamport.tla.toolbox.product.product/target/org.lamport.tla.toolbox.product.product-1.4.0-SNAPSHOT.zip
-
## Generate changelog
cd general/docs/changelogs
## Append sha1 sum to changelog (last line of changelog has the table header).
- echo "$(sha1sum ../../../tlatools/org.lamport.tlatools/dist/tla2tools.jar | cut -f 1 -d " ")|tla2tools.jar" >> ch1_7_1.md
- echo "$(sha1sum ../../../toolbox/org.lamport.tla.toolbox.product.product/target/products/${{matrix.TOOLBOX_PRODUCT_ZIP_WIN}} | cut -f 1 -d " ")|${{matrix.TOOLBOX_PRODUCT_ZIP_WIN}}" >> ch1_7_1.md
- echo "$(sha1sum ../../../toolbox/org.lamport.tla.toolbox.product.product/target/products/${{matrix.TOOLBOX_PRODUCT_ZIP}} | cut -f 1 -d " ")|${{matrix.TOOLBOX_PRODUCT_ZIP}}" >> ch1_7_1.md
- echo "TBD|macOS" >> ch1_7_1.md
+ echo "$(sha1sum ../../../tlatools/org.lamport.tlatools/dist/tla2tools.jar | cut -f 1 -d " ")|tla2tools.jar" >> ch1_7_2.md
## Two above as one-liner without intermediate file.
- $(jq -n --argjson changelog "$(cat ch1_7_1.md | jq --raw-input --slurp .)" -f gh-1_7_1.jq > gh-1_7_1.json)
+ $(jq -n --argjson changelog "$(cat ch1_7_2.md | jq --raw-input --slurp .)" -f gh-1_7_2.jq > gh-1_7_2.json)
## Update draft release with latest changelog in case it changed.
## https://developer.github.com/v3/repos/releases/#edit-a-release
- curl -sS -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE -d @gh-1_7_1.json -X PATCH --header "Content-Type: application/json"
-
- - name: Upload assets to INRIA
- if: matrix.operating-system == 'ubuntu-latest'
- run: |
- ## Thanks Apple for your walled garden! Delete the *unsigned* Toolbox maxOS zip created by the Linux/ubuntu job. The macOS job below creates and rsyncs a *signed* zip file.
- rm toolbox/org.lamport.tla.toolbox.product.product/target/products/TLAToolbox-1.7.1-macosx.cocoa.x86_64.zip
- ## Upload p2 and apt repository to INRIA machine.
- rsync -e "ssh -o StrictHostKeyChecking=no -i ~/.ssh/id_rsa" --delete -av tlatools/org.lamport.tlatools/dist/tla2tools.jar github@upload.tlapl.us:dist/
- rsync -e "ssh -o StrictHostKeyChecking=no -i ~/.ssh/id_rsa" --delete -av toolbox/org.lamport.tla.toolbox.product.product/target/products/*.zip github@upload.tlapl.us:products/
- rsync -e "ssh -o StrictHostKeyChecking=no -i ~/.ssh/id_rsa" --delete -av toolbox/org.lamport.tla.toolbox.product.product/target/repository/ github@upload.tlapl.us:repository/
- rsync -e "ssh -o StrictHostKeyChecking=no -i ~/.ssh/id_rsa" --delete -av toolbox/org.lamport.tla.toolbox.doc/html/ github@upload.tlapl.us:doc/
+ curl -sS -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE -d @gh-1_7_2.json -X PATCH --header "Content-Type: application/json"
##
## Update all git tags to make the download urls work, i.e.
@@ -183,66 +94,3 @@ jobs:
git config --local user.email "tlaplus-action@github.com"
git config --local user.name "TLA+ GitHub Action"
git push https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git --follow-tags --tags --force
-
- ##
- ## Upload tla2tools.jar to Github maven packages.
- ##
- - name: Upload to Github maven packages
- if: matrix.operating-system == 'ubuntu-latest'
- run: |
- cd tlatools/org.lamport.tlatools/
- ## Strip packages from the tla2tools.jar fatjar that are declared dependencies of the maven package (see github.xml).
- zip -d dist/tla2tools.jar javax/\* com/\* META-INF/mailcap META-INF/javamail*
- ## github.xml replaces the Tycho pom.xml with a specific one to publish tla2tools.jar.
- mvn deploy:deploy-file -Dgithub.packages.username=${{ github.actor }} -Dgithub.packages.password=${{ secrets.GITHUB_TOKEN }} -Dfile=dist/tla2tools.jar -Durl=https://maven.pkg.github.com/${{ github.repository }} -DpomFile=github.xml -DrepositoryId=github -f github.xml
-
- ################################# macOS #################################
-
- ##
- ## Sign Toolbox macOS zip file.
- ##
- - name: Set up Apple Certs
- if: matrix.operating-system == 'macos-latest'
- run: 'echo "$APPLE_CODESIGN_CERTS" > certs.pem'
- shell: bash
- env:
- APPLE_CODESIGN_CERTS: ${{ secrets.APPLE_CODESIGN_CERTS }}
- - name: Set up Apple Key (submission)
- if: matrix.operating-system == 'macos-latest'
- run: 'echo "$APPLE_CODESIGN_SUBMISSION_PRIVKEY" > submission.pem'
- shell: bash
- env:
- APPLE_CODESIGN_SUBMISSION_PRIVKEY: ${{ secrets.APPLE_CODESIGN_SUBMISSION_PRIVKEY }}
- - name: Set up Apple Key (dev)
- if: matrix.operating-system == 'macos-latest'
- run: 'echo "$APPLE_CODESIGN_DEVELOPER_PRIVKEY" > dev.pem'
- shell: bash
- env:
- APPLE_CODESIGN_DEVELOPER_PRIVKEY: ${{ secrets.APPLE_CODESIGN_DEVELOPER_PRIVKEY }}
- - name: Create macOS keychain, unzip, sign, and zip up TLA+ Toolbox for macOS
- if: matrix.operating-system == 'macos-latest'
- run: |
- ## Convert pems stored as Github secrets to .p12 files that 'security import' accepts.
- openssl pkcs12 -export -inkey submission.pem -in certs.pem -out submission.p12 -passin pass:${{ secrets.APPLE_CERT_PASSWORD }} -passout pass:${{ secrets.APPLE_CERT_PASSWORD }}
- openssl pkcs12 -export -inkey dev.pem -in certs.pem -out dev.p12 -passin pass:${{ secrets.APPLE_CERT_PASSWORD }} -passout pass:${{ secrets.APPLE_CERT_PASSWORD }}
- ## Create a fresh keychain "tla" and import certs and keys into it.
- security create-keychain -p ${{ secrets.APPLE_CERT_PASSWORD }} tla
- security import certs.pem -k tla -P ${{ secrets.APPLE_CERT_PASSWORD }} -T /usr/bin/codesign
- security import submission.p12 -k tla -P ${{ secrets.APPLE_CERT_PASSWORD }} -T /usr/bin/codesign
- security import dev.p12 -k tla -P ${{ secrets.APPLE_CERT_PASSWORD }} -T /usr/bin/codesign
- ## Listing the keychain once is apparently required for codesign to work.
- security list-keychains -s tla
- ## Not sure what this is for, but hey: https://stackoverflow.com/a/40039594
- security set-key-partition-list -S apple-tool:,apple: -s -k ${{ secrets.APPLE_CERT_PASSWORD }} tla
- ## Unzip, sign, and zip up the TLA Toolbox.
- unzip toolbox/org.lamport.tla.toolbox.product.product/target/products/${{ matrix.TOOLBOX_PRODUCT_ZIP }}
- codesign --keychain tla --deep --display --entitlements toolbox/org.lamport.tla.toolbox.product.product/entitlements.plist --options runtime --verbose=4 -h -f -s "Developer ID Application: M K (3PCM4M3RWK)" "TLA+ Toolbox.app"
- ditto -ck --sequesterRsrc --keepParent "TLA+ Toolbox.app" ${{ matrix.TOOLBOX_PRODUCT_ZIP }}
- xcrun altool --notarize-app --primary-bundle-id "org.lamport.tla.toolbox.product.product" --username "${{secrets.APPLE_CODESIGN_DEVELOPER_ID}}" --password "${{secrets.APPLE_CODESIGN_DEVELOPER_PASSWORD}}" --file "${{ matrix.TOOLBOX_PRODUCT_ZIP }}"
- ## Upload signed TLAToolbox zip to Github release.
- DRAFT_RELEASE=$(curl -sS -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases --header "Content-Type: application/json" | jq '.[]| select(.name=="${{ matrix.GITHUB_RELEASE_NAME }}") | .id')
- ID=$(curl -sS -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets --header "Content-Type: application/json" | jq '.[]| select(.name == "${{ matrix.TOOLBOX_PRODUCT_ZIP }}") | .id')
- curl -sS -X DELETE -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://api.github.com/repos/${{ github.repository }}/releases/assets/$ID
- curl -s -X POST -H "Content-Type: application/zip" -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://uploads.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets?name=${{ matrix.TOOLBOX_PRODUCT_ZIP }} --upload-file ${{ matrix.TOOLBOX_PRODUCT_ZIP }}
- ## Upload p2 and apt repository to INRIA machine.
- rsync -e "ssh -o StrictHostKeyChecking=no -i ~/.ssh/id_rsa" --delete -av ${{ matrix.TOOLBOX_PRODUCT_ZIP }} github@upload.tlapl.us:products/
diff --git a/general/docs/changelogs/ch1_7_2.md b/general/docs/changelogs/ch1_7_2.md
new file mode 100644
index 000000000..8dfd77e2b
--- /dev/null
+++ b/general/docs/changelogs/ch1_7_2.md
@@ -0,0 +1,13 @@
+The [Theano](https://en.wikipedia.org/wiki/Theano_(philosopher)) release is based on the [1.7.1 branch](https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1) and fixes the two issues below.
+
+### Changelog
+* [Name clash between variable in refined spec and operator in instantiated spec](https://github.com/tlaplus/tlaplus/issues/362)
+* [Thread safety concerns due to "memory barrier" pattern in value classes](https://github.com/tlaplus/tlaplus/issues/439)
+
+### Contributors
+
+We are grateful for contributions from [Calvin Loncaric](https://github.com/Calvin-L) and [Dmitry Kulagin](https://github.com/craft095).
+
+### Checksums
+sha1sum|file
+------------ | -------------
diff --git a/general/docs/changelogs/gh-1_7_2.jq b/general/docs/changelogs/gh-1_7_2.jq
new file mode 100644
index 000000000..81420d465
--- /dev/null
+++ b/general/docs/changelogs/gh-1_7_2.jq
@@ -0,0 +1,7 @@
+{
+ "tag_name": "v1.7.2",
+ "name": "The Theano release",
+ "draft": true,
+ "prerelease": false,
+ "body": $changelog
+}
\ No newline at end of file
diff --git a/tlatools/org.lamport.tlatools/github.xml b/tlatools/org.lamport.tlatools/github.xml
index 2ac40936e..098473a97 100644
--- a/tlatools/org.lamport.tlatools/github.xml
+++ b/tlatools/org.lamport.tlatools/github.xml
@@ -10,7 +10,7 @@
<groupId>org.lamport</groupId>
<artifactId>tla2tools</artifactId>
<name>TLA+ Tools</name>
- <version>1.7.0-SNAPSHOT</version>
+ <version>1.7.2-SNAPSHOT</version>
<description>The TLC model checker, the syntax and semantic checker SANY, the PlusCal translator, and the LaTeX pretty printer.</description>
<packaging>jar</packaging>
diff --git a/tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java b/tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java
index d68116ed6..d821d03a0 100644
--- a/tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java
+++ b/tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java
@@ -23,7 +23,7 @@ public class TLCGlobals
public static final int DEFAULT_CHECKPOINT_DURATION = (30 * 60 * 1000) + 42;
// The current version of TLC
- public static String versionOfTLC = "Version 2.16 of 31 December 2020";
+ public static String versionOfTLC = "Version 2.17 of 02 February 2022";
// The bound for set enumeration, used for pretty printing
public static int enumBound = 2000;
diff --git a/toolbox/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product b/toolbox/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product
index e79ef3fa9..2de5c6477 100644
--- a/toolbox/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product
+++ b/toolbox/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product
@@ -1,16 +1,16 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>
-<product name="TLA+ Toolbox" uid="org.lamport.tla.toolbox.product.product" id="org.lamport.tla.toolbox.product.standalone.product" application="org.lamport.tla.toolbox.application" version="1.7.1.qualifier" useFeatures="true" includeLaunchers="true">
+<product name="TLA+ Toolbox" uid="org.lamport.tla.toolbox.product.product" id="org.lamport.tla.toolbox.product.standalone.product" application="org.lamport.tla.toolbox.application" version="1.7.2.qualifier" useFeatures="true" includeLaunchers="true">
<aboutInfo>
<image path="/org.lamport.tla.toolbox.product.standalone/images/splash_small.png"/>
<text>
TLA+ Toolbox provides a user interface for TLA+ Tools.
-This is Version 1.7.1 of 31 December 2020 and includes:
+This is Version 1.7.2 of 02 February 2022 and includes:
- SANY Version 2.2 of 20 April 2020
- - TLC Version 2.16 of 31 December 2020
+ - TLC Version 2.17 of 02 Febraury 2022
- PlusCal Version 1.11 of 31 December 2020
- TLATeX Version 1.0 of 20 September 2017
@@ -95,11 +95,11 @@ openFile
<plugin id="org.lamport.tla.toolbox.jclouds" autoStart="true" startLevel="4" />
<plugin id="packet" autoStart="true" startLevel="4" />
<plugin id="sts" autoStart="true" startLevel="4" />
- <property name="eclipse.buildId" value="1.7.1" />
+ <property name="eclipse.buildId" value="1.7.2" />
</configurations>
<repositories>
- <repository location="http://lamport.org/tlatoolbox/branches/1.7.1/toolboxUpdate/" enabled="true" />
+ <repository location="http://lamport.org/tlatoolbox/branches/1.7.2/toolboxUpdate/" enabled="true" />
<repository location="http://lamport.org/tlatoolbox/ci/toolboxUpdate/" enabled="false" />
</repositories>
diff --git a/toolbox/org.lamport.tla.toolbox.product.standalone/plugin.xml b/toolbox/org.lamport.tla.toolbox.product.standalone/plugin.xml
index 98d54a174..bd29e5111 100644
--- a/toolbox/org.lamport.tla.toolbox.product.standalone/plugin.xml
+++ b/toolbox/org.lamport.tla.toolbox.product.standalone/plugin.xml
@@ -30,7 +30,7 @@
</property>
<property
name="aboutText"
- value="TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.7.1 of 31 December 2020 and includes:
 - SANY Version 2.2 of 20 April 2020
 - TLC Version 2.16 of 31 December 2020
 - PlusCal Version 1.11 of 31 December 2020
 - TLATeX Version 1.0 of 20 September 2017

Don't forget to click on help. You can learn about features that you never knew about or have forgotten.

Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus .

Some icons used in the Toolbox were provided by www.flaticon.com">
+ value="TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.7.2 of 02 February 2022 and includes:
 - SANY Version 2.2 of 20 April 2020
 - TLC Version 2.17 of 02 February 2022
 - PlusCal Version 1.11 of 31 December 2020
 - TLATeX Version 1.0 of 20 September 2017

Don't forget to click on help. You can learn about features that you never knew about or have forgotten.

Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus .

Some icons used in the Toolbox were provided by www.flaticon.com">
</property>
<property
name="aboutImage"
diff --git a/toolbox/org.lamport.tla.toolbox.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java b/toolbox/org.lamport.tla.toolbox.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java
index 8a8e21c45..d8c0d4ef6 100644
--- a/toolbox/org.lamport.tla.toolbox.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java
+++ b/toolbox/org.lamport.tla.toolbox.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java
@@ -431,7 +431,7 @@ public class ToolboxIntroPart extends IntroPart implements IIntroPart {
final Label lblVersion = new Label(outerContainer, SWT.WRAP);
lblVersion.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false, 2, 1));
- lblVersion.setText("Version 1.7.1 of 31 December 2020");
+ lblVersion.setText("Version 1.7.2 of 02 February 2022");
lblVersion.setBackground(backgroundColor);
}
--
GitLab