Skip to content
Snippets Groups Projects
Commit 7b98e94f authored by dgelessus's avatar dgelessus
Browse files

Remove old Travis CI badge

parent fe9e7366
Branches
Tags
No related merge requests found
# TLA+ Tools # TLA+ Tools
[![Build Status](https://travis-ci.org/hhu-stups/tlatools.svg)](https://travis-ci.org/hhu-stups/tlatools)
Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox,
an IDE for writing specifications and running tools to check them. an IDE for writing specifications and running tools to check them.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment