Tags · general / stups / tla2bAST · GitLab

Tags give the ability to mark specific points in history as being important

1.2.1

db3fbe11 · Release version 1.2.1 · Aug 11, 2023

Download source code

zip tar.gz tar.bz2 tar
1.2.0

6a58f329 · Release version 1.2.0 · Aug 11, 2023

Download source code

zip tar.gz tar.bz2 tar
1.1.5

0606fc72 · Release version 1.1.5 · Apr 28, 2023

Download source code

zip tar.gz tar.bz2 tar
1.1.4

fe016d79 · set version to 1.1.4 · Mar 11, 2021

Download source code

zip tar.gz tar.bz2 tar
1.1.3

51d8d46c · set version to 1.1.3 · Feb 28, 2020

Download source code

zip tar.gz tar.bz2 tar
1.1.1

3ed421cc · Merge branch 'release/1.1.1' · Jan 23, 2019
```
no message
```
Download source code

zip tar.gz tar.bz2 tar
1.1.0

48506892 · Merge branch 'release/1.1.0' · Aug 31, 2018
```
no message
```
Download source code

zip tar.gz tar.bz2 tar
1.0.9

2d6c6b27 · Merge branch 'release/1.0.9' · Jul 20, 2017
```
no message
```
Download source code

zip tar.gz tar.bz2 tar
v1.0.5

24b03f78 · release · Aug 18, 2015

Download source code

zip tar.gz tar.bz2 tar