@@ -5,3 +5,11 @@ For more information, visit https://research.microsoft.com/en-us/um/people/lampo
Contributing
------------
Please read our [contribution guide](https://raw.githubusercontent.com/tlaplus/tlaplus/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)
