Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

T

tlatools
- Activity
- Members
- Labels
- Releases

Snippets Groups Projects

0ae87e89

Commit 0ae87e89 authored Dec 21, 2015 by Markus Alexander Kuppe

Downloads
- Patches
- Plain Diff

Increase version numbers to 1.5.2 in preparation of upcoming Christmas release.

[Build]

parent af553a15

No related branches found

No related tags found

No related merge requests found

Changes 8

Show whitespace changes

Inline Side-by-side

Showing

general/docs/microsoft-release.txt 32 additions, 1 deletion

general/docs/microsoft-release.txt
org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF 1 addition, 1 deletion

org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF
org.lamport.tla.toolbox.doc/pom.xml 1 addition, 1 deletion

org.lamport.tla.toolbox.doc/pom.xml
org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product 3 additions, 3 deletions

...t.product/org.lamport.tla.toolbox.product.product.product
org.lamport.tla.toolbox.product.product/pom.xml 1 addition, 1 deletion

org.lamport.tla.toolbox.product.product/pom.xml
org.lamport.tla.toolbox.product.standalone/plugin.xml 1 addition, 1 deletion

org.lamport.tla.toolbox.product.standalone/plugin.xml
org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java 1 addition, 1 deletion

...c/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java
tlatools/src/tlc2/TLCGlobals.java 1 addition, 1 deletion

tlatools/src/tlc2/TLCGlobals.java

with 41 additions and 10 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment