[![Build Status](https://travis-ci.org/tlaplus/tlaplus.svg?branch=master)](https://travis-ci.org/tlaplus/tlaplus) [![Twitter URL](https://img.shields.io/twitter/url/http/tlaplus.svg?style=social&style=plastic)](https://twitter.com/tlaplus)

For more information, visit https://research.microsoft.com/en-us/um/people/lamport/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-2017 Microsoft Corporation  

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

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

For more information, visit https://research.microsoft.com/en-us/um/people/lamport/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-2017 Microsoft Corporation  

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

Remove broken twitter shield/image from Readme.md.
Remove broken twitter shield/image from Readme.md.

[Documentation]
