Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
master
default
protected
c05c92e5
·
Adjust for new upcoming tlatools version number
·
Jul 30, 2024
Stale branches
release/1.1.1
e2529dbd
·
bump version to 1.1.1
·
Jan 23, 2019
release/1.1.3
51d8d46c
·
set version to 1.1.3
·
Feb 28, 2020
release/1.1.4
ab98bb1b
·
detect a few more ProB DEFINITIONS
·
Mar 19, 2021