-
- Downloads
Bump version numbers of master to 1.8.0 in anticipation of a 1.7.1
maintenance release from a 1.7.1 branch. [Build]
Showing
- .github/workflows/main.yml 15 additions, 15 deletions.github/workflows/main.yml
- general/docs/changelogs/ch1_8_0.md 55 additions, 0 deletionsgeneral/docs/changelogs/ch1_8_0.md
- general/docs/changelogs/gh-1_8_0.jq 7 additions, 0 deletionsgeneral/docs/changelogs/gh-1_8_0.jq
- pom.xml 1 addition, 1 deletionpom.xml
- toolbox/org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF 1 addition, 1 deletiontoolbox/org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF
- toolbox/org.lamport.tla.toolbox.doc/pom.xml 1 addition, 1 deletiontoolbox/org.lamport.tla.toolbox.doc/pom.xml
- toolbox/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product 4 additions, 4 deletions...t.product/org.lamport.tla.toolbox.product.product.product
- toolbox/org.lamport.tla.toolbox.product.standalone/plugin.xml 1 addition, 1 deletion...box/org.lamport.tla.toolbox.product.standalone/plugin.xml
- toolbox/org.lamport.tla.toolbox.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java 1 addition, 1 deletion...rc/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java
- toolbox/org.lamport.tla.toolbox.product.uitest/pom.xml 1 addition, 1 deletiontoolbox/org.lamport.tla.toolbox.product.uitest/pom.xml
Loading
Please register or sign in to comment