Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v1.1b1
9ebe26b2
·
Merge branch 'dev'
·
Nov 21, 2022
v1.1a2
1a8645f4
·
Merge branch 'dev'
·
Nov 14, 2022
v1.0
3593f0d4
·
Merge branch 'dev'
·
Nov 10, 2022
Release:
v1.0
v1.0rc4
4c1e1acf
·
Merge branch 'dev'
·
Nov 10, 2022
Release:
v1.0rc4
v1.0rc3
9653cfb9
·
Merge branch 'dev'
·
Oct 18, 2022
v1.0rc2
3bd9a346
·
Merge branch 'dev'
·
Sep 16, 2022
v1.0rc1
3c85810e
·
Bugfix: Wrong (sub)parser names used (2)
·
Sep 13, 2022
v1.0b3
18ca74d8
·
Update release version to 1.0b3
·
Sep 13, 2022
v1.0b2
cb9d0b2c
·
Update release version to 1.0b2
·
Sep 07, 2022
v1.0b1
fd1966e3
·
Update release number to v1.0b1
·
Aug 02, 2022
v0.9b5
7888cd9c
·
Upgrade release version to v0.9b5
·
Jul 04, 2022
v0.9b3
1fbf4a9a
·
Update release number to v0.9b3
·
Jul 01, 2022
v0.9b2
7188123e
·
Upgrade release version to v0.9b2
·
Jun 29, 2022
v0.9b1
19362db4
·
Upgrade release version to v0.9b1
·
Jun 29, 2022
v0.9a1
8d9b8bc3
·
Update release version to v0.9a1
·
Jun 29, 2022
v0.8b2
ec7d10bc
·
Merge branch 'dev'
·
Jun 27, 2022
v0.7b4
b39a038d
·
Upgrade release to v0.7b4
·
Jun 21, 2022
v0.7b2
95af4e8e
·
Merge branch 'dev'
·
Jun 16, 2022
v0.7b1
9b537bb9
·
Upgrade release number to 0.7b1
·
Jun 13, 2022
v0.6
238dfb81
·
Upgrade release number to 0.6
·
Jun 02, 2022
Prev
1
2
Next