[![Build Status](https://travis-ci.org/tlaplus/tlaplus.svg?branch=master)](https://travis-ci.org/tlaplus/tlaplus)

For more information, visit http://lamport.azurewebsites.net/tla/tla.html

Contributing
------------
Please read our [contribution guide](https://github.com/tlaplus/tlaplus/blob/master/CONTRIBUTING.md) before you start working on your contribution. We also have a [feature wishlist](https://github.com/tlaplus/tlaplus/blob/master/general/docs/contributions.md).

License
-------

Copyright (c) 199?-2003 HP Corporation  
Copyright (c) 2003-2020 Microsoft Corporation

Licensed under the [MIT License](http://lamport.azurewebsites.net/tla/license.html)

[![TLC Build Status](https://travis-ci.org/tlaplus/tlaplus.svg?branch=master)](https://travis-ci.org/tlaplus/tlaplus)
[![Toolbox Build Status](https://github.com/tlaplus/tlaplus/workflows/CI/badge.svg?branch=master)](https://github.com/tlaplus/tlaplus/actions?query=workflow%3ACI)

For more information, visit http://lamport.azurewebsites.net/tla/tla.html

Contributing
------------
Please read our [contribution guide](https://github.com/tlaplus/tlaplus/blob/master/CONTRIBUTING.md) before you start working on your contribution. We also have a [feature wishlist](https://github.com/tlaplus/tlaplus/blob/master/general/docs/contributions.md).

License
-------

Copyright (c) 199?-2003 HP Corporation  
Copyright (c) 2003-2020 Microsoft Corporation

Licensed under the [MIT License](http://lamport.azurewebsites.net/tla/license.html)

Update status badges to include Github build.
Update status badges to include Github build.

[Build]