Skip to content
Snippets Groups Projects
Commit 3c7caa56 authored by Markus Alexander Kuppe's avatar Markus Alexander Kuppe
Browse files

Bump version numbers.

[Build]
parent 6047253d
No related branches found
No related tags found
No related merge requests found
...@@ -4,7 +4,7 @@ on: ...@@ -4,7 +4,7 @@ on:
push: push:
# Sequence of patterns matched against refs/heads # Sequence of patterns matched against refs/heads
branches: branches:
- v1.7.1 # Push events on master branch - v1.7.2 # Push events on master branch
jobs: jobs:
...@@ -12,18 +12,12 @@ jobs: ...@@ -12,18 +12,12 @@ jobs:
runs-on: ${{ matrix.operating-system }} runs-on: ${{ matrix.operating-system }}
strategy: strategy:
matrix: matrix:
operating-system: [ubuntu-latest, macos-latest] operating-system: [ubuntu-latest]
include: 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 - operating-system: ubuntu-latest
MVN_COMMAND: xvfb-run mvn -Dtest.skip=true -Dmaven.test.failure.ignore=true MVN_COMMAND: xvfb-run mvn -Dtest.skip=true -Dmaven.test.failure.ignore=true
GITHUB_RELEASE_NAME: The Brontinus release GITHUB_RELEASE_NAME: The Theano release
TOOLBOX_PRODUCT_ZIP: TLAToolbox-1.7.1-linux.gtk.x86_64.zip TOOLBOX_PRODUCT_ZIP: TLAToolbox-1.7.2-linux.gtk.x86_64.zip
TOOLBOX_PRODUCT_ZIP_WIN: TLAToolbox-1.7.1-win32.win32.x86_64.zip
steps: steps:
...@@ -58,64 +52,11 @@ jobs: ...@@ -58,64 +52,11 @@ jobs:
env: env:
GPG_PRIVATE_KEY: ${{ secrets.GPG_PRIVATE_KEY }} 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). ## Build TLC and Toolbox (logger reduces verbosity).
## ##
- name: Build with Maven (Linux) - name: Build with Ant (Linux)
run: ${{ matrix.MVN_COMMAND }} -Pcodesigning -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn -fae -B verify --file pom.xml run: ant -f tlatools/org.lamport.tlatools/customBuild.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/
## ##
## Upload Linux and Windows Toolbox zip and tla2tools.jar to Github release. ## Upload Linux and Windows Toolbox zip and tla2tools.jar to Github release.
...@@ -131,45 +72,15 @@ jobs: ...@@ -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 -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 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 ## Generate changelog
cd general/docs/changelogs cd general/docs/changelogs
## Append sha1 sum to changelog (last line of changelog has the table header). ## 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 ../../../tlatools/org.lamport.tlatools/dist/tla2tools.jar | cut -f 1 -d " ")|tla2tools.jar" >> ch1_7_2.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
## Two above as one-liner without intermediate file. ## 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. ## Update draft release with latest changelog in case it changed.
## https://developer.github.com/v3/repos/releases/#edit-a-release ## 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" 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"
- 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/
## ##
## Update all git tags to make the download urls work, i.e. ## Update all git tags to make the download urls work, i.e.
...@@ -183,66 +94,3 @@ jobs: ...@@ -183,66 +94,3 @@ jobs:
git config --local user.email "tlaplus-action@github.com" git config --local user.email "tlaplus-action@github.com"
git config --local user.name "TLA+ GitHub Action" 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 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/
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
------------ | -------------
{
"tag_name": "v1.7.2",
"name": "The Theano release",
"draft": true,
"prerelease": false,
"body": $changelog
}
\ No newline at end of file
...@@ -10,7 +10,7 @@ ...@@ -10,7 +10,7 @@
<groupId>org.lamport</groupId> <groupId>org.lamport</groupId>
<artifactId>tla2tools</artifactId> <artifactId>tla2tools</artifactId>
<name>TLA+ Tools</name> <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> <description>The TLC model checker, the syntax and semantic checker SANY, the PlusCal translator, and the LaTeX pretty printer.</description>
<packaging>jar</packaging> <packaging>jar</packaging>
......
...@@ -23,7 +23,7 @@ public class TLCGlobals ...@@ -23,7 +23,7 @@ public class TLCGlobals
public static final int DEFAULT_CHECKPOINT_DURATION = (30 * 60 * 1000) + 42; public static final int DEFAULT_CHECKPOINT_DURATION = (30 * 60 * 1000) + 42;
// The current version of TLC // 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 // The bound for set enumeration, used for pretty printing
public static int enumBound = 2000; public static int enumBound = 2000;
......
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?> <?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> <aboutInfo>
<image path="/org.lamport.tla.toolbox.product.standalone/images/splash_small.png"/> <image path="/org.lamport.tla.toolbox.product.standalone/images/splash_small.png"/>
<text> <text>
TLA+ Toolbox provides a user interface for TLA+ Tools. 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 - 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 - PlusCal Version 1.11 of 31 December 2020
- TLATeX Version 1.0 of 20 September 2017 - TLATeX Version 1.0 of 20 September 2017
...@@ -95,11 +95,11 @@ openFile ...@@ -95,11 +95,11 @@ openFile
<plugin id="org.lamport.tla.toolbox.jclouds" autoStart="true" startLevel="4" /> <plugin id="org.lamport.tla.toolbox.jclouds" autoStart="true" startLevel="4" />
<plugin id="packet" autoStart="true" startLevel="4" /> <plugin id="packet" autoStart="true" startLevel="4" />
<plugin id="sts" 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> </configurations>
<repositories> <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" /> <repository location="http://lamport.org/tlatoolbox/ci/toolboxUpdate/" enabled="false" />
</repositories> </repositories>
......
...@@ -30,7 +30,7 @@ ...@@ -30,7 +30,7 @@
</property> </property>
<property <property
name="aboutText" name="aboutText"
value="TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0A;&#x0A;This is Version 1.7.1 of 31 December 2020 and includes:&#x0A; - SANY Version 2.2 of 20 April 2020&#x0A; - TLC Version 2.16 of 31 December 2020&#x0A; - PlusCal Version 1.11 of 31 December 2020&#x0A; - TLATeX Version 1.0 of 20 September 2017&#x0A;&#x0A;Don&apos;t forget to click on help. You can learn about features that you never knew about or have forgotten.&#x0A;&#x0A;Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus .&#x0A;&#x0A;Some icons used in the Toolbox were provided by www.flaticon.com"> value="TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0A;&#x0A;This is Version 1.7.2 of 02 February 2022 and includes:&#x0A; - SANY Version 2.2 of 20 April 2020&#x0A; - TLC Version 2.17 of 02 February 2022&#x0A; - PlusCal Version 1.11 of 31 December 2020&#x0A; - TLATeX Version 1.0 of 20 September 2017&#x0A;&#x0A;Don&apos;t forget to click on help. You can learn about features that you never knew about or have forgotten.&#x0A;&#x0A;Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus .&#x0A;&#x0A;Some icons used in the Toolbox were provided by www.flaticon.com">
</property> </property>
<property <property
name="aboutImage" name="aboutImage"
......
...@@ -431,7 +431,7 @@ public class ToolboxIntroPart extends IntroPart implements IIntroPart { ...@@ -431,7 +431,7 @@ public class ToolboxIntroPart extends IntroPart implements IIntroPart {
final Label lblVersion = new Label(outerContainer, SWT.WRAP); final Label lblVersion = new Label(outerContainer, SWT.WRAP);
lblVersion.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false, 2, 1)); 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); lblVersion.setBackground(backgroundColor);
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment